| 2004 |
|---|
| 7 | EE | Robert Colvin,
Lindsay Groves,
Ian J. Hayes,
David Hemer,
Ray Nickson,
Paul A. Strooper:
Developing Logic Programs from Specifications Using Stepwise Refinement.
Program Development in Computational Logic 2004: 66-89 |
| 2002 |
|---|
| 6 | EE | Ian J. Hayes,
Robert Colvin,
David Hemer,
Paul A. Strooper,
Ray Nickson:
A Refinement Calculus for Logic Programs
CoRR cs.SE/0202002: (2002) |
| 5 | | Ian J. Hayes,
Robert Colvin,
David Hemer,
Paul A. Strooper,
Ray Nickson:
A refinement calculus for logic programs.
TPLP 2(4-5): 425-460 (2002) |
| 2000 |
|---|
| 4 | 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 |
| 1998 |
|---|
| 3 | | David A. Carrington,
Ian J. Hayes,
Ray Nickson,
Geoffrey Watson,
Jim Welsh:
A Program Refinement Tool.
Formal Asp. Comput. 10(2): 97-124 (1998) |
| 1997 |
|---|
| 2 | | Owen Traynor,
Daniel Hazel,
Peter Kearney,
Andrew Martin,
Ray Nickson,
Luke Wildman:
The Cogito Development System.
AMAST 1997: 586-591 |
| 1 | | Ray Nickson,
Ian J. Hayes:
Supporting Contexts in Program Refinement.
Sci. Comput. Program. 29(3): 279-302 (1997) |
