Steve Reeves (computer scientist): Difference between revisions

Browse history interactively ← Previous edit Next edit →Content deleted Content addedVisual WikitextInline

Revision as of 19:07, 28 November 2010 edit219.89.70.137 (talk) Added link to the other Steve Reeves← Previous edit		Revision as of 15:49, 20 February 2011 edit undoBender235 (talk \| contribs)Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers, Template editors471,631 editsm Typo fixing, typos fixed: the the → the using AWB Next edit →
Line 17:		Line 17:
	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 ], ] for ] design and a general theory of ].		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 ], ] for ] design and a general theory of ].

	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,<ref>Martin Henson, , '']'', Volume 10, Number 3, 243–247, 1998. {{doi\|10.1007/s001650050014}}.</ref> in relation to ~~the~~ the international ] standard for Z.<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,<ref>Martin Henson, , '']'', Volume 10, Number 3, 243–247, 1998. {{doi\|10.1007/s001650050014}}.</ref> in relation to the international ] standard for Z.<ref>'''', ISO/IEC 13568:2002, , 2002.</ref>

	Reeves has delivered talks internationally, including as the opening talk in the ] seminar series at the ] in ] in 2005.<ref>, ], UK.</ref>		Reeves has delivered talks internationally, including as the opening talk in the ] seminar series at the ] in ] in 2005.<ref>, ], UK.</ref>
Line 31:		Line 31:
	* Judy Bowen and Steve Reeves, Formal models for user interface design artefacts. '']'', 4(2):125–141, 2009.		* Judy Bowen and Steve Reeves, Formal models for user interface design artefacts. '']'', 4(2):125–141, 2009.
	* Steve Reeves and David Streader, Data refinement and singleton failures refinement are not equivalent. ''Formal Aspects of Computing'', 20(3):295–301, 2008.		* Steve Reeves and David Streader, Data refinement and singleton failures refinement are not equivalent. ''Formal Aspects of Computing'', 20(3):295–301, 2008.
	* Steve Reeves and David Streader, A Robust Semantics Hides Fewer Errors, '']'', vol. 5850, pp. 499–515, ], 2009.		* Steve Reeves and David Streader, A Robust Semantics Hides Fewer Errors, '']'', vol. 5850, pp. 499–515, ], 2009.
	* Greg Reeve and Steve Reeves, <math>\mu</math>-Charts and Z: Hows, Whys and Wherefores. Proceedings of IFM 2000, Lecture Notes in Computer Science, vol. 1945, pp. 256–276, (eds.) W. Grieskamp, T. Santen, and B. Stoddart, Springer-Verlag, 2000.		* Greg Reeve and Steve Reeves, <math>\mu</math>-Charts and Z: Hows, Whys and Wherefores. Proceedings of IFM 2000, Lecture Notes in Computer Science, vol. 1945, pp. 256–276, (eds.) W. Grieskamp, T. Santen, and B. Stoddart, Springer-Verlag, 2000.

	== References ==		== References ==
Line 62:		Line 62:
	]		]
	]		]


	{{academic-bio-stub}}		{{academic-bio-stub}}

Revision as of 15:49, 20 February 2011

Template:Other people3

Steve Reeves
Born	31st October, 1957 Brighton, England
Nationality	British
Alma mater	University of Birmingham
Scientific career
Fields	Computer science, software engineering, formal methods
Institutions	University of Waikato University of Essex Queen Mary, University of London

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, formal methods for GUI design and a general theory of refinement.

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, in relation to the international ISO standard for Z.

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.
Judy Bowen and Steve Reeves, UI-Design Driven Model-Based Testing, EC-EASST, vol. 22.
Judy Bowen and Steve Reeves, Refinement for user interface designs. Formal Aspects of Computing, 21(6):589–612, 2009.
Judy Bowen and Steve Reeves, Formal models for user interface design artefacts. Innovations in Systems and Software Engineering, 4(2):125–141, 2009.
Steve Reeves and David Streader, Data refinement and singleton failures refinement are not equivalent. Formal Aspects of Computing, 20(3):295–301, 2008.
Steve Reeves and David Streader, A Robust Semantics Hides Fewer Errors, Lecture Notes in Computer Science, vol. 5850, pp. 499–515, Springer-Verlag, 2009.
Greg Reeve and Steve Reeves, $\mu$ -Charts and Z: Hows, Whys and Wherefores. Proceedings of IFM 2000, Lecture Notes in Computer Science, vol. 1945, pp. 256–276, (eds.) W. Grieskamp, T. Santen, and B. Stoddart, Springer-Verlag, 2000.

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.
Martin Henson, The Standard Logic of Z is Inconsistent, Formal Aspects of Computing, Volume 10, Number 3, 243–247, 1998. doi:10.1007/s001650050014.
Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics, ISO/IEC 13568:2002, ISO, 2002.
Past events: 2005, BCS-FACS, UK.
Steve Reeves, Scientific Commons.

External links

Template:Dblp name

Template:Persondata

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.

Categories: