Steve Reeves (computer scientist)
Encyclopedia
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 of the British Computer Society
, a Fellow of the New Zealand Computer Society
, and is an IT Certified Professional (ITCP).
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
based at the University of Waikato
University of Waikato
The University of Waikato is located in Hamilton and Tauranga, New Zealand, and was established in 1964. It has strengths across a broad range of subject areas, particularly its degrees in Computer Science and in Management...
in New Zealand
New Zealand
New Zealand is an island country in the south-western Pacific Ocean comprising two main landmasses and numerous smaller islands. The country is situated some east of Australia across the Tasman Sea, and roughly south of the Pacific island nations of New Caledonia, Fiji, and Tonga...
. He is the Associate Dean and the Programme Co-ordinator of Software Engineering
Software engineering
Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...
. He has undertaken research work on the Z notation
Z notation
The Z notation , named after Zermelo–Fraenkel set theory, is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.-History:...
, formal methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
for GUI
Gui
Gui or guee is a generic term to refer to grilled dishes in Korean cuisine. These most commonly have meat or fish as their primary ingredient, but may in some cases also comprise grilled vegetables or other vegetarian ingredients. The term derives from the verb, "gupda" in Korean, which literally...
design and a general theory of refinement
Refinement
In formal methods, program refinement is the verifiable transformation of an abstract formal specification into a concrete executable program. Stepwise refinement allows this process to be done in stages...
.
Steve Reeves' academic work is in the area of formal methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
to aid software engineering
Software engineering
Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...
. In particular, he has undertaken research into the design and use of logics for specification. With Prof. Martin Henson
Martin Henson
Professor Martin C. Henson FBCS FRSA is an English computer scientist based at the University of Essex. He is Dean of International Development and is affiliated to the School of Computer Science & Electronic Engineering....
, he has studied the formal semantics of the Z notation
Z notation
The Z notation , named after Zermelo–Fraenkel set theory, is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.-History:...
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
BCS-FACS
BCS-FACS is the British Computer Society Formal Aspects of Computing Science Specialist Group. The group, founded in 1978, organizes meetings for its members and others on formal methods and related computer science topics...
seminar series at the British Computer Society
British Computer Society
The British Computer Society, is a professional body and a learned society that represents those working in Information Technology in the United Kingdom and internationally...
in London
London
London is the capital city of :England and the :United Kingdom, the largest metropolitan area in the United Kingdom, and the largest urban zone in the European Union by most measures. Located on the River Thames, London has been a major settlement for two millennia, its history going back to its...
in 2005.
He is currently Chair of the Z User Group
Z User Group
The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems...
, and the New Zealand member of the Australasian Software Engineering Conference (ASWEC) Steering Committee.
He is a Fellow of the British Computer Society
British Computer Society
The British Computer Society, is a professional body and a learned society that represents those working in Information Technology in the United Kingdom and internationally...
, a Fellow of the New Zealand Computer Society
New Zealand Computer Society
The New Zealand Computer Society Inc is a non-profit incorporated society in New Zealand. As New Zealand's ICT professional body, the NZCS exists to promote education and ensure a high level of professional practice amongst ICT professionals....
, 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 ComputingFormal Aspects of ComputingFormal Aspects of Computing is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British...
, 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,
-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ørnerDines BjørnerProfessor Dines Bjørner is a Danish computer scientist.He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method at IBM in Vienna...
(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 EngineeringInnovations in Systems and Software EngineeringInnovations in Systems and Software Engineering is a peer-reviewed scientific journal of computer science covering systems and software engineering, including formal methods. It is published by Springer Science+Business Media in association with NASA...
, 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 ScienceLecture Notes in Computer ScienceLecture Notes in Computer Science is a series of computer science books that has been published by Springer Science+Business Media since 1973....
, 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.
- Jonathan BowenJonathan BowenJonathan P. Bowen FBCS FRSA is a British computer scientist. He is Chairman of Museophile Limited, an Emeritus Professor at London South Bank University where he has headed the Centre for Applied Formal Methods, and a Visiting Professor at the University of Westminster...
and Steve Reeves, From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community, Proc. FM 2011: Formal Methods, Lecture Notes in Computer Science 6664, pp. 308–322, 2011.