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 09:19, 2 July 2011 editMagioladitis (talk | contribs)Extended confirmed users, Rollbackers908,576 editsm DABlinks standardisation + general fixes using AWB (7778)← Previous edit Revision as of 23:00, 27 July 2011 edit undo130.217.240.32 (talk) Added reference to FBCS and FNZCS, Z User Group, and some later publications.Next edit →
Line 20: Line 20:


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>

He is currently Chair of the ], and the New Zealand member of the Australasian Software Engineering Conference (]) Steering Committee.
He is a Fellow if the ], the ], and is an IT Certified Professional (]).


== Selected publications == == Selected publications ==
Line 26: Line 29:
* ] and Steve Reeves, Revising Z: Part I — Logic and Semantics. '']'', 11(4):359–380, 1999. * ] and Steve Reeves, Revising Z: Part I — Logic and Semantics. '']'', 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 and Steve Reeves. Revising Z: Part II — Logical Development. ''Formal Aspects of Computing'', 11(4):381–401, 1999.
⚫ * 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.&nbsp;256–276, (eds.) W. Grieskamp, T. Santen, and B. Stoddart, Springer-Verlag, 2000.
* Martin C. Henson, Steve Reeves and ], Z Logic and its Consequences. ''CAI: Computing and Informatics'', 22(4):381–415, 2003. In ] (editor), special issue on ''The Logics of Formal Specification Languages''. * Martin C. Henson, Steve Reeves and ], Z Logic and its Consequences. ''CAI: Computing and Informatics'', 22(4):381–415, 2003. In ] (editor), special issue on ''The Logics of Formal Specification Languages''.
* Judy Bowen and Steve Reeves, , ''EC-EASST'', vol. 22. * Judy Bowen and Steve Reeves, , ''EC-EASST'', vol. 22.
Line 32: Line 36:
* 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.&nbsp;499–515, ], 2009. * Steve Reeves and David Streader, A Robust Semantics Hides Fewer Errors, '']'', vol. 5850, pp.&nbsp;499–515, ], 2009.
* Judy Bowen and Steve Reeves, Developing usability studies via formal methods of UIs, Proc Second ACM SIGCHI Symposium on (EICS'10), Berlin, Germany, 175-180. ACM, New York, NY, 2010.
⚫ * 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.&nbsp;256–276, (eds.) W. Grieskamp, T. Santen, and B. Stoddart, Springer-Verlag, 2000.
* Steve Reeves and David Streader, Contexts, refinement and determinism, 76, 774-791, 2011.


== References == == References ==

Revision as of 23:00, 27 July 2011

This article is about Steve Reeves (computer scientist). For Steve Reeves (actor), see Steve_Reeves.
Steve Reeves
Born31st October, 1957
Brighton, England
NationalityBritish
Alma materUniversity of Birmingham
Scientific career
FieldsComputer science, software engineering, formal methods
InstitutionsUniversity 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.

He is currently Chair of the Z User Group, and the New Zealand member of the Australasian Software Engineering Conference (ASWEC) Steering Committee. He is a Fellow if the British Computer Society, the New Zealand Computer Society, and is an IT Certified Professional (ITCP).

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.
  • Greg Reeve and Steve Reeves, μ {\displaystyle \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.
  • 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.
  • Judy Bowen and Steve Reeves, Developing usability studies via formal methods of UIs, Proc Second ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'10), Berlin, Germany, 175-180. ACM, New York, NY, 2010.
  • Steve Reeves and David Streader, Contexts, refinement and determinism, Science of Computer Programming 76, 774-791, 2011.

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

External links

Template:Persondata


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: