Browsing by Supervisor "Reeves, Steve"

Now showing items 1-7 of 7

  • A refinement theory for μ∼Charts

    Reeve, Greg (The University of Waikato, 2005)
    The language μ-Charts is one of many Statechart-like languages, a family of visual languages that are used for designing reactive systems. We introduce a logic for reasoning about and constructing refinements for μ-Charts. ...
  • Analysing Reverse Engineering Techniques for Interactive Systems

    Lin, Feifei (Amy) (University of Waikato, 2012)
    Reverse engineering is the process of discovering a model of a software system by analyzing its structure and functions. Reverse engineering techniques applied to interactive software applications (e.g. applications with ...
  • Characterising sound visualisations of specifications using refinement

    Pilbrow, Colin (The University of Waikato, 2019)
    Visualisations can be used to help analyse, explore, and validate Z specifications. However, if visualisations contain errors or are used incorrectly then they can be misleading and harmful. The aim of this work is to ...
  • Design Patterns: Infrastructure and Examples

    Crickett, Scott (The University of Waikato, 2017)
    Modern interactive systems can be incredibly complex, with a variety of screens, menus, widgets, etc. available to the user. Due to this, modelling these interactive systems can also be incredibly complex and while there ...
  • Formal Models and Refinement for Graphical User Interface Design

    Bowen, Judy (The University of Waikato, 2008)
    Formal approaches to software development require that we correctly describe (or specify) systems in order to prove properties about our proposed solution prior to building it. We must then follow a rigorous process to ...
  • On Conflicts in Concurrent Systems

    Ware, Simon Ian (University of Waikato, 2014)
    This dissertation studies conflicts. A conflict is a bug in concurrent systems where one or more components of the system may potentially be blocked from completing their task. This dissertation investigates how nonconflicting ...
  • Supporting interactive system testing with interaction sequences

    Turner, Jessica Dawn (The University of Waikato, 2019)
    Despite extensive research into the modelling and testing of interactive systems, existing strategies do not adequately cover all parts of an interactive system. These existing strategies model and test either the functional ...