 | 2008 |
|---|
| 19 |       | Steve Dunne,
Stacey Conroy:
A Practical Single Refinement Method for B.
ABZ 2008: 195-208 |
| 2007 |
|---|
| 18 | | Steve Dunne:
Chorus Angelorum.
B 2007: 19-33 |
| 17 | | Steve Dunne,
Andy Galloway:
Lifting General Correctness into Partial Correctness is ok.
IFM 2007: 215-232 |
| 2006 |
|---|
| 16 |  | Steve Dunne,
Bill Stoddart:
Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
Springer 2006 |
| 15 | | Ana Cavalcanti,
Jim Woodcock,
Steve Dunne:
Angelic nondeterminism in the unifying theories of programming.
Formal Asp. Comput. 18(3): 288-307 (2006) |
| 2005 |
|---|
| 14 | | Colin J. Fidge,
Peter Robinson,
Steve Dunne:
Refinement Laws for Verifying Library Subroutine Adaptation.
Australian Software Engineering Conference 2005: 224-232 |
| 13 | | Frank Zeyda,
Bill Stoddart,
Steve Dunne:
A Prospective-Value Semantics for the GSL.
ZB 2005: 187-202 |
| 12 | | Steve Dunne,
Stacey Conroy:
Process Refinement in B.
ZB 2005: 45-64 |
| 2004 |
|---|
| 11 | | Steve Dunne:
Understanding Object-Z Operations as Generalised Substitutions.
IFM 2004: 328-342 |
| 2003 |
|---|
| 10 | | Steve Dunne:
Introducing Backward Refinement into B.
ZB 2003: 178-196 |
| 2002 |
|---|
| 9 | | Steve Dunne:
A Theory of Generalised Substitutions.
ZB 2002: 270-290 |
| 8 | | Steve Dunne:
Junctive Compositions of specifications in total, general correctness.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 2001 |
|---|
| 7 | | Steve Dunne:
Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness.
IWFM 2001 |
| 6 | | Steve Dunne:
Abstract Commands: a Uniform Notation for Specification and Implementation.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
| 2000 |
|---|
| 5 | | Jonathan P. Bowen,
Steve Dunne,
Andy Galloway,
Steve King:
ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings
Springer 2000 |
| 1999 |
|---|
| 4 | | Bill Stoddart,
Steve Dunne:
The Refinement of Event Calculus Models.
IFM 1999: 151-169 |
| 3 | | Steve Dunne:
The Safe Machine: A New Specification Construct for B.
World Congress on Formal Methods 1999: 472-489 |
| 2 | | Bill Stoddart,
Steve Dunne,
Andy Galloway:
Undefined Expressions and Logic in Z and B.
Formal Methods in System Design 15(3): 201-215 (1999) |
| 1998 |
|---|
| 1 | | Bill Stoddart,
Steve Dunne,
Andy Galloway,
Richard Shore:
Abstract State Machines: Designing Distributed Systems with State Machines and B.
B 1998: 226-242 |
