- Waikato Home
- →
- Library Home
- →
- Research Commons
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Reeves, Steve"
Now showing items 1-5 of 59
-
(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. ... -
(University of Waikato, Department of Computer Science, 2004)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 ... -
(1994)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 ... -
(University of Waikato, Department of Computer Science, 2003)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 ... -
(University of Waikato, Department of Computer Science, 2008)Adding considerations about reachability to the Logics of Specification Languages [1] chapter [2].
Now showing items 1-5 of 59
Co-authors for Steve Reeves
Supervised by Steve Reeves
Showing up to 5 theses - most recently added to Research Commons first.
-
(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 ... -
(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 ...