Now showing items 1-5 of 5

  • 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 ...
  • 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 ...