Steve Reeves

Jonathan P. Bowen, Michael Butler, Steve Reeves, Mike Hinchey: Editorial. Formal Asp. Comput. 25(3): 343 (2013)

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)

Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves: Editorial. Formal Asp. Comput. 24(1): 1 (2012)

Judy Bowen, Steve Reeves: Modelling user manuals of modal medical devices and learning from the experience. EICS 2012: 121-130

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

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

Judy Bowen, Steve Reeves: Preface for FMIS 2011. ECEASST 45 (2011)

Steve Reeves, David Streader: Contexts, refinement and determinism. Sci. Comput. Program. 76(9): 774-791 (2011)

Judy Bowen, Steve Reeves: UI-driven test-first development of interactive systems. EICS 2011: 165-174

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

Steve Reeves, David Streader: Refinement for Probabilistic Systems with Nondeterminism. Refine 2011: 84-100

John Derrick, Eerke A. Boiten, Steve Reeves (Eds.): Proceedings 15th International Refinement Workshop. EPTCS 55, 2011

Judy Bowen, Steve Reeves: Developing usability studies via formal models of UIs. EICS 2010: 175-180

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

Judy Bowen, Steve Reeves: UI-Design Driven Model-Based Testing. ECEASST 22 (2009)

Eerke A. Boiten, John Derrick, Steve Reeves: Preface. Electr. Notes Theor. Comput. Sci. 259: 1 (2009)

Steve Reeves, David Streader: Guarded Operations, Refinement and Simulation. Electr. Notes Theor. Comput. Sci. 259: 177-191 (2009)

Judy Bowen, Steve Reeves: Refinement for user interface designs. Formal Asp. Comput. 21(6): 589-612 (2009)

Judy Bowen, Steve Reeves: Supporting Multi-path UI Development with Vertical Refinement. Australian Software Engineering Conference 2009: 64-72

Steve Reeves, David Streader: A Robust Semantics Hides Fewer Errors. FM 2009: 499-515

Steve Reeves, David Streader: Generic Tools via General Refinement. Electr. Notes Theor. Comput. Sci. 207: 187-202 (2008)

Judy Bowen, Steve Reeves: Refinement for User Interface Designs. Electr. Notes Theor. Comput. Sci. 208: 5-22 (2008)

Steve Reeves, David Streader: General Refinement, Part One: Interfaces, Determinism and Special Refinement. Electr. Notes Theor. Comput. Sci. 214: 277-307 (2008)

Steve Reeves, David Streader: General Refinement, Part Two: Flexible Refinement. Electr. Notes Theor. Comput. Sci. 214: 309-329 (2008)

Steve Reeves, David Streader: Data refinement and singleton failures refinement are not equivalent. Formal Asp. Comput. 20(3): 295-301 (2008)

Judy Bowen, Steve Reeves: Formal models for user interface design artefacts. ISSE 4(2): 125-141 (2008)

Judy Bowen, Steve Reeves: Formal Models for Informal GUI Designs. Electr. Notes Theor. Comput. Sci. 183: 57-72 (2007)

Judy Bowen, Steve Reeves: Using formal models to design user interfaces: a case study. BCS HCI (1) 2007: 159-166

Petra Malik, Robi Malik, David Streader, Steve Reeves: Modular Synthesis of Discrete Controllers. ICECCS 2007: 25-34

Steve Reeves, David Streader: Feature Refinement. SEFM 2007: 371-380

Steve Reeves, David Streader: Stepwise Refinement of Processes. Electr. Notes Theor. Comput. Sci. 160: 275-289 (2006)

Robi Malik, David Streader, Steve Reeves: Conflicts and Fair Testing. Int. J. Found. Comput. Sci. 17(4): 797-814 (2006)

Greg Reeve, Steve Reeves: Logic and refinement for charts. ACSC 2006: 13-23

Judy Bowen, Steve Reeves: Formal Refinement of Informal GUI Design Artefacts. ASWEC 2006: 221-230

Steve Reeves, David Streader: Constructing Programs or Processes. J. UCS 11(12): 2034-2045 (2005)

Judy Bowen, Steve Reeves: Including Design Guidelines in the Formal Specification of Interfaces in Z. ZB 2005: 454-471

Robi Malik, David Streader, Steve Reeves: Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. ATVA 2004: 120-134

Steve Reeves, David Streader: Atomic Components. ICTAC 2004: 128-139

Ali A. Pouyan, Steve Reeves: Behavioral modeling for mobile agent systems using Petri nets. SMC (5) 2004: 4935-4940

Martin C. Henson, Steve Reeves, Jonathan P. Bowen: Z Logic and its Consequences. Computers and Artificial Intelligence 22(3-4): 381-415 (2003)

Martin C. Henson, Steve Reeves: A Logic for Schema-Based Program Development. Formal Asp. Comput. 15(1): 48-83 (2003)

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)

Steve Reeves, David Streader: Comparison of Data and Process Refinement. ICFEM 2003: 266-285

Moshe Deutsch, Martin C. Henson, Steve Reeves: Operation Refinement and Monotonicity in the Schema Calculus. ZB 2003: 103-126

Moshe Deutsch, Martin C. Henson, Steve Reeves: Results on Formal Stepwise Design in Z. APSEC 2002: 33-42

Doug Goldson, Greg Reeve, Steve Reeves: µ-Chart-Based Specification and Refinement. ICFEM 2002: 323-334

Mark Utting, Steve Reeves: Teaching formal methods lite via testing. Softw. Test., Verif. Reliab. 11(3): 181-195 (2001)

Grant Anderson, Greg Reeve, Steve Reeves: Idioms for mu-Chart. Australian Software Engineering Conference 2001: 224-234

Martin C. Henson, Steve Reeves: Investigating Z. J. Log. Comput. 10(1): 43-73 (2000)

Greg Reeve, Steve Reeves: mu-Charts and Z: examples and extensions. APSEC 2000: 258-

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

Greg Reeve, Steve Reeves: mu-Charts and Z: Hows, Whys, and Wherefores. IFM 2000: 255-276

Martin C. Henson, Steve Reeves: Program Development and Specification Refinement in the Schema Calculus. ZB 2000: 344-362

Martin C. Henson, Steve Reeves: Revising Z: Part I - Logic and Semantics. Formal Asp. Comput. 11(4): 359-380 (1999)

Martin C. Henson, Steve Reeves: Revising Z: Part II - Logical Development. Formal Asp. Comput. 11(4): 381-401 (1999)

Martin C. Henson, Steve Reeves: A Logic for the Schema Calculus. ZUM 1998: 172-191

Steve Reeves: Specifying and Reasoning About CSCW. DSV-IS 1996: 366-391

Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves: Editorial. Logic Journal of the IGPL 3(6): 826 (1995)

Doug Goldson, Steve Reeves, Richard Bornat: A Review of Several Programs for the Teaching of Logic. Comput. J. 36(4): 373-386 (1993)

Robert Johnson, Steve Reeves: Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). TABLEAUX 1992: 37-39

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