 | 2006 |
|---|
| 7 |       | Jörn Guy Süß,
Tim McComb,
Soon-Kyeong Kim,
Luke Wildman,
Geoffrey Watson:
MDA-Based Re-engineering with Object-Z.
MoDELS 2006: 291-305 |
| 2003 |
|---|
| 6 | | Geoffrey Watson:
Compilation by Refinement for a Practical Assembly Language.
ICFEM 2003: 286-305 |
| 5 | | Geoffrey Watson,
Colin J. Fidge:
A Partial-Correctness Semantics for Modelling Assembler Programs.
SEFM 2003: 82-90 |
| 2002 |
|---|
| 4 | | Geoffrey Watson:
Refining Exceptions Using King and Morgan?s exit Construct.
APSEC 2002: 43-51 |
| 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) |
| 1996 |
|---|
| 2 | | Warwick Allison,
David A. Carrington,
Tim Jones,
Larry Stewart-Zerba,
Geoffrey Watson,
Jim Welsh:
Software Visualisation in a Generic Development Environment.
ASYNC 1996: 47-54 |
| 1 | | Warwick Allison,
David A. Carrington,
Tim Jones,
Larry Stewart-Zerba,
Geoffrey Watson,
Jim Welsh:
Software Visualisation in a Generic Development Environment.
Australian Software Engineering Conference 1996: 47-54 |
