Now showing items 1-5 of 73

  • 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 ...
  • Combining models for interactive system modelling

    Bowen, Judy; Reeves, Steve (Springer International Publishing, 2017)
    Our approach for modelling interactive systems has been to develop models for the interface and interaction which are lightweight but with an underlying formal semantics. Combined with traditional formal methods to describe ...
  • Comparison of data and process refinement

    Reeves, Steve; Streader, David (University of Waikato, Department of Computer Science, 2003-05)
    When is it reasonable, or possible, to refine a one place buffer into a two place buffer? In order to answer this question we characterise refinement based on substitution in restricted contexts. We see that data refinement ...

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

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