This is an old revision of this page, as edited by Jpbowen (talk | contribs) at 18:22, 13 January 2010 (Added notability info, removed prod, see talk page). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Revision as of 18:22, 13 January 2010 by Jpbowen (talk | contribs) (Added notability info, removed prod, see talk page)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff) For other people named Steve Reeves, see Steve Reeves (disambiguation).| Steve Reeves | |
|---|---|
| Scientific career | |
| Fields | Computer science, software engineering, formal methods |
| Institutions | University of Waikato |
Prof. Steve Reeves is a computer scientist based at the University of Waikato in New Zealand. He is the Associate Dean and the Programme Co-ordinator of Software Engineering. He is undertaken important research work on the Z notation.
Steve Reeves' academic work is in the area of formal methods to aid software engineering. In particular, he has undertaken research into the design and use of logics for specification. With Prof. Martin Henson, he has studied the formal semantics of the Z notation in detail. This work was very important in improving the international ISO standard for the Z notation.
Reeves has delivered talks internationally, including as the opening talk in the BCS-FACS seminar series at the British Computer Society in London in 2005.
Selected publications
Reeves has published a number of academic papers, including:
- Martin C. Henson and Steve Reeves, Revising Z: Part I — Logic and Semantics. Formal Aspects of Computing, 11(4):359–380, 1999.
- Martin C. Henson and Steve Reeves. Revising Z: Part II — Logical Development. Formal Aspects of Computing, 11(4):381–401, 1999.
- Martin C. Henson, Steve Reeves and Jonathan P. Bowen, Z Logic and its Consequences. CAI: Computing and Informatics, 22(4):381–415, 2003. In Dines Bjørner (editor), special issue on The Logics of Formal Specification Languages.
References
- Steve Reeves Personal Web Page, Department of Computer Science, University of Waikato, New Zealand.
- People: Computer Science, Department of Computer Science, University of Waikato, New Zealand.
- Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics, ISO/IEC 13568:2002, ISO, 2002.
- BCS-FACS Evening Seminar Series, BCS-FACS, UK.
- Steve Reeves, Scientific Commons.
External links
 | This biography of an academic is a stub. You can help Misplaced Pages by expanding it. |
 | This biographical article relating to a computer specialist is a stub. You can help Misplaced Pages by expanding it. |