- Waikato Home
- →
- Library Home
- →
- Research Commons
- →
- Computing and Mathematical Sciences
- →
- Computing and Mathematical Sciences Papers
- →
- Browsing Computing and Mathematical Sciences Papers by Title
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Computing and Mathematical Sciences Papers by Title
Now showing items 969-974 of 974
-
(Institute of Informatics, 2003)This paper provides an introduction to the specification language Z from a logical perspective. The possibility of presenting Z in this way is a consequence of a number of joint publications on Z logic that Henson and ... -
(2002)This paper proposes an XML format for standard Z. We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new proposal is based upon a comparison ... -
(2000)μ-Charts are a way of specifying reactive systems, i.e. systems which are in some environment to which they have to react, based on the well-established formalism Statecharts. This paper gives (very abbreviated) examples ... -
(University of Waikato, Department of Computer Science, 2000)This paper describes extensions and modifications to the µ-charts as given in earlier papers of Philipps and Scholz. The charts are extended to include a command language, integer-valued signals and local integer variables. ... -
(University of Waikato, Department of Computer Science, 2000)In this paper we show, by a series of examples, how the µ-chart formalism can be translated into Z. We give reasons for why this is an interesting and sensible thing to do and what it might be used for. -
(Springer, Berlin, 2002)We introduce two new notions of refinement for μ-charts and compare them with the existing notion due to Scholz. The two notions are interesting and important because one gives rise (via a logic) to a calculus for constructing ...
Now showing items 969-974 of 974