Browsing by Supervisor "Reeves, Steve"

Now showing items 1-9 of 9

  • Blockchain technology: Disruptor or enhancer to the accounting and auditing profession

    Oladejo, Musbaudeen Titilope (The University of Waikato, 2023)
    The unique features of blockchain technology (BCT) - peer-to-peer network, distribution ledger, consensus decision-making, transparency, immutability, auditability, and cryptographic security - coupled with the success ...

  • Formal modelling and analysis of safety-critical Interactive systems using Coloured Petri Nets

    Jaidka, Sapna (The University of Waikato, 2020)
    To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. Generally, existing techniques focus either on modelling the user interface or on modelling the functionality of ...

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

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

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

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

  • On Conflicts in Concurrent Systems

    Ware, Simon (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 ...

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

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