Browsing by Author "Reeves, Steve"

Now showing items 1-5 of 78

  • An analysis of total correctness refinement models for partial relation semantics I

    Deutsch, Moshe; Henson, Martin C.; Reeves, Steve (Oxford University Press, 2003)
    This is the first of a series of papers devoted to the thorough investigation of (total correctness) refinement based on an underlying partial relational model. In this paper we restrict attention to operation refinement. ...
  • Atomic components

    Reeves, Steve; Streader, David (University of Waikato, Department of Computer Science, 2004-02)
    There has been much interest in components that combine the best of state-based and event-based approaches. The interface of a component can be thought of as its specification and substituting components with the same ...
  • A calculator for supporting derivation in constructive type-theory: PICTCalc

    Reeves, Steve (1994-06)
    PICTCalc is an interactive program written in LPA Prolog which has encoded within it the rules of Martin-Löf's constructive type theory (CTT), a formal system based on the constructive or intuitionistic mathematics of ...
  • Characterising Sound Visualisations of Specifications using Micro-charts and Refinement

    Pilbrow, Colin; Reeves, Steve (IEEE, 2017)
    For validation or for communication with a client, it is useful to create a visualisation of a specification. It is important that the visualisation does not mislead the user. In this work we look at how to characterise ...
  • A Coloured Petri Net approach to model and analyze safety-critical interactive systems

    Jaidka, Sapna; Reeves, Steve; Bowen, Judy (IEEE, 2019)
    To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. The aim of this paper is to use Coloured Petri Nets to model and analyze safety-critical interactive systems. We ...

Showing up to 5 theses - most recently added to Research Commons first.

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

... View More