Steve Reeves
Titolo
Citata da
Citata da
Anno
Logic for computer science
S Reeves, M Clarke
Addison-Wesley, 1990
1251990
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
692000
Investigating Z
MC Henson, S Reeves
Journal of Logic and Computation 10 (1), 43-73, 2000
512000
Constructive mathematics in theory and programming practice
D Bridges, S Reeves
Philosophia Mathematica 7 (1), 65-104, 1999
501999
Conflicts and fair testing
R Malik, D Streader, S Reeves
International Journal of Foundations of Computer Science 17 (04), 797-813, 2006
492006
A review of several programs for the teaching of logic
D Goldson, S Reeves, R Bornat
The Computer Journal 36 (4), 373-386, 1993
491993
Semantic tableaux as a framework for automated theorem-proving
S Reeves
on Advances in artificial intelligence, 125-139, 1987
491987
40 years of formal methods
D Bj°rner, K Havelund
International Symposium on Formal Methods, 42-61, 2014
48*2014
Formal models for user interface design artefacts
J Bowen, S Reeves
Innovations in Systems and Software Engineering 4 (2), 125-141, 2008
442008
Z Logic and its Consequences
MC Henson, S Reeves, JP Bowen
Computing and Informatics 22 (3-4), 381-415, 2003
422003
Formal models for informal GUI designs
J Bowen, S Reeves
Electronic Notes in Theoretical Computer Science 183, 57-72, 2007
402007
Modelling safety properties of interactive medical systems
J Bowen, S Reeves
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactiveá…, 2013
372013
Proof-of-learning: a blockchain consensus mechanism based on machine learning competitions
F Bravo-Marquez, S Reeves, M Ugarte
2019 IEEE International Conference on Decentralized Applications andá…, 2019
302019
Revising Z: Part II–logical development
MC Henson, S Reeves
Formal Aspects of Computing 11 (4), 381-401, 1999
291999
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
272012
Revising Z: Part I–logic and semantics
MC Henson, S Reeves
Formal Aspects of Computing 11 (4), 359-380, 1999
261999
μ-Charts and Z: Hows, whys, and wherefores
G Reeve, S Reeves
International Conference on Integrated Formal Methods, 255-276, 2000
252000
Refinement for user interface designs
J Bowen, S Reeves
Electronic Notes in Theoretical Computer Science 208, 5-22, 2008
242008
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
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20