2006 |
7 | EE | 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 | EE | Geoffrey Watson:
Compilation by Refinement for a Practical Assembly Language.
ICFEM 2003: 286-305 |
5 | EE | Geoffrey Watson,
Colin J. Fidge:
A Partial-Correctness Semantics for Modelling Assembler Programs.
SEFM 2003: 82-90 |
2002 |
4 | EE | 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 | EE | 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 | EE | 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 |