Publications By Year

Publications By Person

All Computer Science Publications

Publications Pending Categorisation

Steve Reeves

Publications By Person >> P to Z
Steve Reeves

Articles in Refereed Journals

    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 65-104.

    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.

Edited Volumes of Conference Proceedings

    Groves, L and Reeves, S. (1997) (Eds)Formal Methods Pacific ’97: Proceedings of FMP’97. Springer-Verlag, 1997 , P 320.

Invited Talk

    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.

Newspaper Articles

    Reeves, S. (2000) Survey tackles software development issues. New Zealand InfoTech Weekly 438, Sunday, April 23, 2000, p 17.

Papers in Conference Proceedings

    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 189-201. 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 344-362. Springer.

    Reeve, G. and Reeves, S. (2000) m -charts and Z: examples and extensions Proc Asia-Pacific 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 ZC 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.) Work-in-progress 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.

Technical Document

    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, integer-valued signals and local integer variables. The command language is based on the syntax presented in Scholz' thesis and the integer-valued signals and local variables are based loosely on Scholz' earlier work. After presenting the new semantics we turn to extending the µ-charts-to-Z 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