Geoffrey Watson

Publication Activity (10 Years)

Years Active: 1996-2007
Publications (10 Years): 0

Publications

Abu Zafer Javed, Paul A. Strooper, Geoffrey Watson
Automated Generation of Test Cases Using Model-Driven Architecture. AST (2007)
Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson
MDA-Based Re-engineering with Object-Z. MoDELS (2006)
Geoffrey Watson, Colin J. Fidge
A Partial-Correctness Semantics for Modelling Assembler Programs. SEFM (2003)
Geoffrey Watson
Compilation by Refinement for a Practical Assembly Language. ICFEM (2003)
Geoffrey Watson
Refining Exceptions Using King and Morgan's exit Construct. APSEC (2002)
Colin J. Fidge, Ian J. Hayes, Geoffrey Watson
The deadline command. IEE Proc. Softw. 146 (2) (1999)
David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh
A Program Refinement Tool. Formal Aspects Comput. 10 (2) (1998)
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)