Misplaced Pages

Steve Reeves (computer scientist): Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editNext edit →Content deleted Content addedVisualWikitext
Revision as of 21:06, 13 January 2010 editSmackBot (talk | contribs)3,734,324 editsm Date maintenance tags: build 391:,← Previous edit Revision as of 12:01, 14 January 2010 edit undoJpbowen (talk | contribs)Extended confirmed users, Pending changes reviewers82,326 editsm Typo corectionNext edit →
Line 14: Line 14:
}} }}


Prof. '''Steve Reeves''' is a ] based at the ] in ].<ref>, , ], New Zealand.</ref> He is the Associate Dean and the Programme Co-ordinator of ].<ref>, Department of Computer Science, University of Waikato, New Zealand.</ref> He is undertaken research work on the ]. Prof. '''Steve Reeves''' is a ] based at the ] in ].<ref>, , ], New Zealand.</ref> He is the Associate Dean and the Programme Co-ordinator of ].<ref>, Department of Computer Science, University of Waikato, New Zealand.</ref> He has undertaken research work on the ].


Steve Reeves' academic work is in the area of ] to aid ]. In particular, he has undertaken research into the design and use of logics for specification. With Prof. ], he has studied the formal semantics of the ] in detail, which was used in the international ] standard for the Z notation.<ref>] and Steve Reeves. Revising Z: Part I — Logic and Semantics. '']'', 11(4):359–380, 1999.</ref><ref>Martin C. Henson and Steve Reeves. Revising Z: Part II — Logical Development. ''Formal Aspects of Computing'', 11(4):381–401, 1999.</ref><ref>'''', ISO/IEC 13568:2002, , 2002.</ref> Steve Reeves' academic work is in the area of ] to aid ]. In particular, he has undertaken research into the design and use of logics for specification. With Prof. ], he has studied the formal semantics of the ] in detail, which was used in the international ] standard for the Z notation.<ref>] and Steve Reeves. Revising Z: Part I — Logic and Semantics. '']'', 11(4):359–380, 1999.</ref><ref>Martin C. Henson and Steve Reeves. Revising Z: Part II — Logical Development. ''Formal Aspects of Computing'', 11(4):381–401, 1999.</ref><ref>'''', ISO/IEC 13568:2002, , 2002.</ref>

Revision as of 12:01, 14 January 2010

For other people named Steve Reeves, see Steve Reeves (disambiguation).
Steve Reeves
Scientific career
FieldsComputer science, software engineering, formal methods
InstitutionsUniversity 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 has undertaken 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, which was used in 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

  1. Steve Reeves Personal Web Page, Department of Computer Science, University of Waikato, New Zealand.
  2. People: Computer Science, Department of Computer Science, University of Waikato, New Zealand.
  3. Martin C. Henson and Steve Reeves. Revising Z: Part I — Logic and Semantics. Formal Aspects of Computing, 11(4):359–380, 1999.
  4. Martin C. Henson and Steve Reeves. Revising Z: Part II — Logical Development. Formal Aspects of Computing, 11(4):381–401, 1999.
  5. Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics, ISO/IEC 13568:2002, ISO, 2002.
  6. BCS-FACS Evening Seminar Series, BCS-FACS, UK.
  7. Steve Reeves, Scientific Commons.

External links

Stub icon

This biography of an academic is a stub. You can help Misplaced Pages by expanding it.

Stub icon

This biographical article relating to a computer specialist is a stub. You can help Misplaced Pages by expanding it.

Categories: