Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Steve Reeves
2010 – today
- 2013
[j29]Jonathan P. Bowen, Michael Butler, Steve Reeves, Mike Hinchey: Editorial. Formal Asp. Comput. 25(3): 343 (2013)- [j28]
- [j27]Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves: Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. Sci. Comput. Program. 78(3): 270-271 (2013)
- [c30]Judy Bowen, Steve Reeves: Modelling safety properties of interactive medical systems. EICS 2013: 91-100
- [c29]
- [e5]John Derrick, Eerke A. Boiten, Steve Reeves (Eds.): Proceedings 16th International Refinement Workshop. EPTCS 115, 2013
- 2012
- [j26]Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves: Editorial. Formal Asp. Comput. 24(1): 1 (2012)
- [c28]Judy Bowen, Steve Reeves: Modelling user manuals of modal medical devices and learning from the experience. EICS 2012: 121-130
- [e4]John Derrick, John A. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (Eds.): Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7316, Springer 2012, ISBN 978-3-642-30884-0
- [e3]Simone Diniz Junqueira Barbosa, José Creissac Campos, Rick Kazman, Philippe A. Palanque, Michael D. Harrison, Steve Reeves (Eds.): ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012. ACM 2012, ISBN 978-1-4503-1168-7
- 2011
- [j25]
- [j24]Steve Reeves, David Streader: Contexts, refinement and determinism. Sci. Comput. Program. 76(9): 774-791 (2011)
- [c27]Judy Bowen, Steve Reeves: UI-driven test-first development of interactive systems. EICS 2011: 165-174
- [c26]Jonathan P. Bowen, Steve Reeves: From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community. FM 2011: 308-322
- [c25]Steve Reeves, David Streader: Refinement for Probabilistic Systems with Nondeterminism. Refine 2011: 84-100
- [e2]John Derrick, Eerke A. Boiten, Steve Reeves (Eds.): Proceedings 15th International Refinement Workshop. EPTCS 55, 2011
- 2010
- [c24]
- [e1]Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (Eds.): Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Lecture Notes in Computer Science 5977, Springer 2010, ISBN 978-3-642-11810-4
2000 – 2009
- 2009
- [j23]
- [j22]Eerke A. Boiten, John Derrick, Steve Reeves: Preface. Electr. Notes Theor. Comput. Sci. 259: 1 (2009)
- [j21]Steve Reeves, David Streader: Guarded Operations, Refinement and Simulation. Electr. Notes Theor. Comput. Sci. 259: 177-191 (2009)
- [j20]Judy Bowen, Steve Reeves: Refinement for user interface designs. Formal Asp. Comput. 21(6): 589-612 (2009)
- [c23]Judy Bowen, Steve Reeves: Supporting Multi-path UI Development with Vertical Refinement. Australian Software Engineering Conference 2009: 64-72
- [c22]
- 2008
- [j19]Steve Reeves, David Streader: Generic Tools via General Refinement. Electr. Notes Theor. Comput. Sci. 207: 187-202 (2008)
- [j18]Judy Bowen, Steve Reeves: Refinement for User Interface Designs. Electr. Notes Theor. Comput. Sci. 208: 5-22 (2008)
- [j17]Steve Reeves, David Streader: General Refinement, Part One: Interfaces, Determinism and Special Refinement. Electr. Notes Theor. Comput. Sci. 214: 277-307 (2008)
- [j16]Steve Reeves, David Streader: General Refinement, Part Two: Flexible Refinement. Electr. Notes Theor. Comput. Sci. 214: 309-329 (2008)
- [j15]Steve Reeves, David Streader: Data refinement and singleton failures refinement are not equivalent. Formal Asp. Comput. 20(3): 295-301 (2008)
- [j14]Judy Bowen, Steve Reeves: Formal models for user interface design artefacts. ISSE 4(2): 125-141 (2008)
- 2007
- [j13]Judy Bowen, Steve Reeves: Formal Models for Informal GUI Designs. Electr. Notes Theor. Comput. Sci. 183: 57-72 (2007)
- [c21]Judy Bowen, Steve Reeves: Using formal models to design user interfaces: a case study. BCS HCI (1) 2007: 159-166
- [c20]Petra Malik, Robi Malik, David Streader, Steve Reeves: Modular Synthesis of Discrete Controllers. ICECCS 2007: 25-34
- [c19]
- 2006
- [j12]Steve Reeves, David Streader: Stepwise Refinement of Processes. Electr. Notes Theor. Comput. Sci. 160: 275-289 (2006)
- [j11]Robi Malik, David Streader, Steve Reeves: Conflicts and Fair Testing. Int. J. Found. Comput. Sci. 17(4): 797-814 (2006)
- [c18]
- [c17]
- 2005
- [j10]
- [c16]Judy Bowen, Steve Reeves: Including Design Guidelines in the Formal Specification of Interfaces in Z. ZB 2005: 454-471
- 2004
- [c15]Robi Malik, David Streader, Steve Reeves: Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. ATVA 2004: 120-134
- [c14]
- [c13]Ali A. Pouyan, Steve Reeves: Behavioral modeling for mobile agent systems using Petri nets. SMC (5) 2004: 4935-4940
- 2003
- [j9]Martin C. Henson, Steve Reeves, Jonathan P. Bowen: Z Logic and its Consequences. Computers and Artificial Intelligence 22(3-4): 381-415 (2003)
- [j8]Martin C. Henson, Steve Reeves: A Logic for Schema-Based Program Development. Formal Asp. Comput. 15(1): 48-83 (2003)
- [j7]Moshe Deutsch, Martin C. Henson, Steve Reeves: An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I. Logic Journal of the IGPL 11(3): 287-317 (2003)
- [c12]
- [c11]Moshe Deutsch, Martin C. Henson, Steve Reeves: Operation Refinement and Monotonicity in the Schema Calculus. ZB 2003: 103-126
- 2002
- [c10]Moshe Deutsch, Martin C. Henson, Steve Reeves: Results on Formal Stepwise Design in Z. APSEC 2002: 33-42
- [c9]Doug Goldson, Greg Reeve, Steve Reeves: µ-Chart-Based Specification and Refinement. ICFEM 2002: 323-334
- 2001
- [j6]Mark Utting, Steve Reeves: Teaching formal methods lite via testing. Softw. Test., Verif. Reliab. 11(3): 181-195 (2001)
- [c8]Grant Anderson, Greg Reeve, Steve Reeves: Idioms for mu-Chart. Australian Software Engineering Conference 2001: 224-234
- 2000
- [j5]
- [c7]
- [c6]Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting: A Survey of Software Development Practices in the New Zealand Software Industry . Australian Software Engineering Conference 2000: 189-202
- [c5]
- [c4]Martin C. Henson, Steve Reeves: Program Development and Specification Refinement in the Schema Calculus. ZB 2000: 344-362
1990 – 1999
- 1999
- [j4]Martin C. Henson, Steve Reeves: Revising Z: Part I - Logic and Semantics. Formal Asp. Comput. 11(4): 359-380 (1999)
- [j3]Martin C. Henson, Steve Reeves: Revising Z: Part II - Logical Development. Formal Asp. Comput. 11(4): 381-401 (1999)
- 1998
- [c3]
- 1996
- [c2]
- 1995
- [j2]Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves: Editorial. Logic Journal of the IGPL 3(6): 826 (1995)
- 1993
- [j1]Doug Goldson, Steve Reeves, Richard Bornat: A Review of Several Programs for the Teaching of Logic. Comput. J. 36(4): 373-386 (1993)
- 1992
- [c1]Robert Johnson, Steve Reeves: Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). TABLEAUX 1992: 37-39
- 1990
- [b1]Steve Reeves, Michael Clarke: Logic for computer science. International computer science series, Addison-Wesley 1990, ISBN 978-0-201-41643-5, pp. I-XI, 1-260
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:00 CEST by the dblp team