Publications By Year
Publications By Person
All Computer Science Publications Publications Pending Categorisation 
Steve Reeves 
Publications By Person >> P to Z


Henson, M.C. and Reeves, S. (2000) Investigating Z Journal of Logic Computation 10(1) 43—73.
Bridges, D.S. and Reeves, S.V. (1999) Constructive mathematics in theory and programming practice. Philos. Math. 7, 1999, p 65104.
Henson, M.C. and Reeves, S. (1999) Revising Z: Part I — logical and semantics Formal Aspects of Computing 11(4) 359—380.
Henson, M.C. and Reeves, S. (1999) Revising Z: Part II — logical development Formal Aspects of Computing 11(4) 381—401.
Groves, L and Reeves, S. (1997) (Eds)Formal Methods Pacific ’97: Proceedings of FMP’97. SpringerVerlag, 1997 , P 320.
Reeves, S. (2000) Program Development, Refinement and Z. Presented to: The Fifth Anniversary Workshop on Discrete Mathematics and Theoretical Computer Science. Auckland, New Zealand, 25 May, 2000.
Reeves, S. (2000) Survey tackles software development issues. New Zealand InfoTech Weekly 438, Sunday, April 23, 2000, p 17.
Groves, L., Nickson, R, Reeve, G., Reeves, S. and Utting, M. (2000) A survey of software development practices in the New Zealand software industry In Grant, Douglas D. (ed). Proc 2000 Australian Software Engineering Conference, Canberra, Australia, April, p 189201. IEEE Computer Society.
Henson, M.C. and Reeves, S. (2000) Program Development and Specification Refinement in the Schema Calculus In Bowen, Jonathan P., Steve Dunne, Andy Galloway and Steve King (eds). Proc First International Conference of B and Z Users, ZB 2000, LNCS 1878, York, UK, August/September, p 344362. Springer.
Reeve, G. and Reeves, S. (2000) m
charts and Z: examples and extensions Proc AsiaPacific Software Engineering Conference, Singapore, December, p 258—263.
Reeve, G. and Reeves, S. (2000) µCharts and Z: hows, whys and wherefores 00/6 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.
Utting, M. and Reeves, S. (2000) Implementing Z_{C} substitutions in Ergo Proc WESTAPP 2000–The Third International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs, Norwich, UK, July, p 35—49.
Utting, M. and Reeves, S. (1998) Teaching formal methods lite. In Grundy, Jim, Martin Schwenke and Trevor Vickers (eds.) Workinprogress papers IRW/FMP’98: International Refinement Workshop and Formal Methods Pacific ’98, Canberra, Australia, P 145—158.
Henson, M.C. and Reeves, S. (1997) Constructive Foundations for Z. In Kuru, S., M.U. Caglayan and H.L. Akin (eds). Proceedings ISCIS XII–Twelfth International Symposium on Computer and Information Sciences, 1997, P 584—591.
Reeves, S. and Reeve, G. (2000) µCharts and Z: extending the translation 00/11 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, integervalued signals and local integer variables. The command language is based on the syntax presented in Scholz' thesis and the integervalued signals and local variables are based loosely on Scholz' earlier work.
After presenting the new semantics we turn to extending the µchartstoZ translation that we developed in previous work. The extensions to the translation process describe both the changes due to the extensions to the µcharts and a modification to the translation method to more fully capture the beneficial modularisation encouraged by the µcharts formalism.
We finish by giving three complete translation examples.
The paper should be read as a record of our gradual development of a Z semantics for µcharts–hence its sometimes exploratory character or laborious explanations as we come to terms (thinking out loud) with the (sometimes very subtle) meaning of µcharts, especially with regard to pathological and unusual examples of their use.


© 2007 FCMS. The University of Waikato  Te Whare Wananga o Waikato

