Steve Reeves

2008
38	EE	Steve Reeves, David Streader: Generic Tools via General Refinement. Electr. Notes Theor. Comput. Sci. 207: 187-202 (2008)
37	EE	Judy Bowen, Steve Reeves: Refinement for User Interface Designs. Electr. Notes Theor. Comput. Sci. 208: 5-22 (2008)
36	EE	Steve Reeves, David Streader: General Refinement, Part One: Interfaces, Determinism and Special Refinement. Electr. Notes Theor. Comput. Sci. 214: 277-307 (2008)
35	EE	Steve Reeves, David Streader: General Refinement, Part Two: Flexible Refinement. Electr. Notes Theor. Comput. Sci. 214: 309-329 (2008)
34	EE	Steve Reeves, David Streader: Data refinement and singleton failures refinement are not equivalent. Formal Asp. Comput. 20(3): 295-301 (2008)
2007
33	EE	Petra Malik, Robi Malik, David Streader, Steve Reeves: Modular Synthesis of Discrete Controllers. ICECCS 2007: 25-34
32	EE	Steve Reeves, David Streader: Feature Refinement. SEFM 2007: 371-380
31	EE	Judy Bowen, Steve Reeves: Formal Models for Informal GUI Designs. Electr. Notes Theor. Comput. Sci. 183: 57-72 (2007)
2006
30	EE	Greg Reeve, Steve Reeves: Logic and refinement for charts. ACSC 2006: 13-23
29	EE	Judy Bowen, Steve Reeves: Formal Refinement of Informal GUI Design Artefacts. ASWEC 2006: 221-230
28	EE	Steve Reeves, David Streader: Stepwise Refinement of Processes. Electr. Notes Theor. Comput. Sci. 160: 275-289 (2006)
27	EE	Robi Malik, David Streader, Steve Reeves: Conflicts and Fair Testing. Int. J. Found. Comput. Sci. 17(4): 797-814 (2006)
2005
26	EE	Judy Bowen, Steve Reeves: Including Design Guidelines in the Formal Specification of Interfaces in Z. ZB 2005: 454-471
25	EE	Steve Reeves, David Streader: Constructing Programs or Processes. J. UCS 11(12): 2034-2045 (2005)
2004
24	EE	Robi Malik, David Streader, Steve Reeves: Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. ATVA 2004: 120-134
23	EE	Steve Reeves, David Streader: Atomic Components. ICTAC 2004: 128-139
22	EE	Ali A. Pouyan, Steve Reeves: Behavioral modeling for mobile agent systems using Petri nets. SMC (5) 2004: 4935-4940
2003
21	EE	Steve Reeves, David Streader: Comparison of Data and Process Refinement. ICFEM 2003: 266-285
20	EE	Moshe Deutsch, Martin C. Henson, Steve Reeves: Operation Refinement and Monotonicity in the Schema Calculus. ZB 2003: 103-126
19		Martin C. Henson, Steve Reeves, Jonathan P. Bowen: Z Logic and its Consequences. Computers and Artificial Intelligence 22(4): (2003)
18	EE	Martin C. Henson, Steve Reeves: A Logic for Schema-Based Program Development. Formal Asp. Comput. 15(1): 48-83 (2003)
17	EE	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)
2002
16	EE	Moshe Deutsch, Martin C. Henson, Steve Reeves: Results on Formal Stepwise Design in Z. APSEC 2002: 33-42
15	EE	Doug Goldson, Greg Reeve, Steve Reeves: µ-Chart-Based Specification and Refinement. ICFEM 2002: 323-334
2001
14	EE	Grant Anderson, Greg Reeve, Steve Reeves: Idioms for mu-Chart. Australian Software Engineering Conference 2001: 224-234
13		Mark Utting, Steve Reeves: Teaching formal methods lite via testing. Softw. Test., Verif. Reliab. 11(3): 181-195 (2001)
2000
12	EE	Greg Reeve, Steve Reeves: mu-Charts and Z: examples and extensions. APSEC 2000: 258-
11	EE	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
10	EE	Greg Reeve, Steve Reeves: mu-Charts and Z: Hows, Whys, and Wherefores. IFM 2000: 255-276
9	EE	Martin C. Henson, Steve Reeves: Program Development and Specification Refinement in the Schema Calculus. ZB 2000: 344-362
8		Martin C. Henson, Steve Reeves: Investigating Z. J. Log. Comput. 10(1): 43-73 (2000)
1999
7	EE	Martin C. Henson, Steve Reeves: Revising Z: Part I - Logic and Semantics. Formal Asp. Comput. 11(4): 359-380 (1999)
6	EE	Martin C. Henson, Steve Reeves: Revising Z: Part II - Logical Development. Formal Asp. Comput. 11(4): 381-401 (1999)
1998
5		Martin C. Henson, Steve Reeves: A Logic for the Schema Calculus. ZUM 1998: 172-191
1996
4		Steve Reeves: Specifying and Reasoning About CSCW. DSV-IS 1996: 366-391
1995
3	EE	Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves: Editorial. Logic Journal of the IGPL 3(6): 826 (1995)
1993
2		Doug Goldson, Steve Reeves, Richard Bornat: A Review of Several Programs for the Teaching of Logic. Comput. J. 36(4): 373-386 (1993)
1992
1		Robert Johnson, Steve Reeves: Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). TABLEAUX 1992: 37-39

Coauthor Index

1	Grant Anderson	[14]
2	Richard Bornat	[2]
3	Jonathan P. Bowen	[19]
4	Judy Bowen	[26] [29] [31] [37]
5	Krysia Broda	[3]
6	Marcello D'Agostino	[3]
7	Moshe Deutsch	[16] [17] [20]
8	Doug Goldson	[2] [15]
9	Rajeev Goré	[3]
10	Lindsay Groves	[11]
11	Martin C. Henson	[5] [6] [7] [8] [9] [16] [17] [18] [19] [20]
12	Rob Johnson	[3]
13	Robert Johnson	[1]
14	Petra Malik	[33]
15	Robi Malik	[24] [27] [33]
16	Ray Nickson	[11]
17	Ali A. Pouyan	[22]
18	Greg Reeve	[10] [11] [12] [14] [15] [30]
19	David Streader	[21] [23] [24] [25] [27] [28] [32] [33] [34] [35] [36] [38]
20	Mark Utting	[11] [13]

Colors in the list of coauthors