Steve Reeves
Titolo
Citata da
Citata da
Anno
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
1292005
Logic for computer science
S Reeves, M Clarke
Addison-Wesley, 1990
1231990
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
492000
Semantic tableaux as a framework for automated theorem-proving
S Reeves
on Advances in artificial intelligence, 125-139, 1987
481987
Conflicts and fair testing
R Malik, D Streader, S Reeves
International Journal of Foundations of Computer Science 17 (04), 797-813, 2006
472006
Constructive mathematics in theory and programming practice
D Bridges, S Reeves
Philosophia Mathematica 7 (1), 65-104, 1999
451999
A review of several programs for the teaching of logic
D Goldson, S Reeves, R Bornat
The Computer Journal 36 (4), 373-386, 1993
451993
Z Logic and its Consequences
MC Henson, S Reeves, JP Bowen
Computing and Informatics 22 (3-4), 381-415, 2012
412012
Formal models for user interface design artefacts
J Bowen, S Reeves
Innovations in Systems and Software Engineering 4 (2), 125-141, 2008
402008
Formal models for informal GUI designs
J Bowen, S Reeves
Electronic Notes in Theoretical Computer Science 183, 57-72, 2007
392007
40 years of formal methods
D Bjørner, K Havelund
International Symposium on Formal Methods, 42-61, 2014
37*2014
Modelling safety properties of interactive medical systems
J Bowen, S Reeves
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013
342013
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
262012
Formal refinement of informal GUI design artefacts
J Bowen, S Reeves
Australian Software Engineering Conference (ASWEC'06), 10 pp.-230, 2006
242006
Fair testing revisited: A process-algebraic characterisation of conflicts
R Malik, D Streader, S Reeves
International Symposium on Automated Technology for Verification and …, 2004
242004
UI-driven test-first development of interactive systems
J Bowen, S Reeves
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive …, 2011
232011
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20