Steve Reeves
Title
Cited by
Cited by
Year
ACME: adaptive compilation made efficient
KD Cooper, A Grosul, TJ Harvey, S Reeves, D Subramanian, L Torczon, ...
ACM SIGPLAN Notices 40 (7), 69-77, 2005
1252005
Logic for computer science
S Reeves, M Clarke
Addison-Wesley, 1990
1191990
A survey of software development practices in the New Zealand software industry
L Groves, R Nickson, G Reeve, S Reeves, M Utting
Proceedings 2000 Australian Software Engineering Conference, 189-201, 2000
662000
Investigating Z
MC Henson, S Reeves
Journal of Logic and Computation 10 (1), 43-73, 2000
482000
Conflicts and fair testing
R Malik, D Streader, S Reeves
International Journal of Foundations of Computer Science 17 (04), 797-813, 2006
472006
Semantic tableaux as a framework for automated theorem-proving
S Reeves
on Advances in artificial intelligence, 125-139, 1987
471987
A review of several programs for the teaching of logic
D Goldson, S Reeves, R Bornat
The Computer Journal 36 (4), 373-386, 1993
441993
Constructive mathematics in theory and programming practice
D Bridges, S Reeves
Philosophia Mathematica 7 (1), 65-104, 1999
431999
Z Logic and its Consequences
MC Henson, S Reeves, JP Bowen
Computing and Informatics 22 (3-4), 381-415, 2012
402012
Formal models for user interface design artefacts
J Bowen, S Reeves
Innovations in Systems and Software Engineering 4 (2), 125-141, 2008
382008
Formal models for informal GUI designs
J Bowen, S Reeves
Electronic Notes in Theoretical Computer Science 183, 57-72, 2007
352007
Modelling safety properties of interactive medical systems
J Bowen, S Reeves
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013
322013
40 years of formal methods
D Bjørner, K Havelund
International Symposium on Formal Methods, 42-61, 2014
30*2014
Revising Z: Part II–logical development
MC Henson, S Reeves
Formal Aspects of Computing 11 (4), 381-401, 1999
301999
Revising Z: Part I–logic and semantics
MC Henson, S Reeves
Formal Aspects of Computing 11 (4), 359-380, 1999
281999
Modelling user manuals of modal medical devices and learning from the experience
J Bowen, S Reeves
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive …, 2012
232012
Formal refinement of informal GUI design artefacts
J Bowen, S Reeves
Australian Software Engineering Conference (ASWEC'06), 10 pp.-230, 2006
232006
Fair testing revisited: A process-algebraic characterisation of conflicts
R Malik, D Streader, S Reeves
International Symposium on Automated Technology for Verification and …, 2004
232004
An analysis of total correctness refinement models for partial relation semantics I
M Deutsch, MC Henson, S Reeves
Logic Journal of the IGPL 11 (3), 285-315, 2003
222003
UI-driven test-first development of interactive systems
J Bowen, S Reeves
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive …, 2011
212011
The system can't perform the operation now. Try again later.
Articles 1–20