Geoffrey Watson

According to our database, Geoffrey Watson authored at least 9 papers between 1996 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Automated Generation of Test Cases Using Model-Driven Architecture.

Abu Zafer Javed, Paul A. Strooper, Geoffrey Watson

Proceedings of the Second International Workshop on Automation of Software Test, 2007

2006

MDA-Based Re-engineering with Object-Z.

Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson

Proceedings of the Model Driven Engineering Languages and Systems, 2006

2003

A Partial-Correctness Semantics for Modelling Assembler Programs.

Geoffrey Watson, Colin J. Fidge

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

Compilation by Refinement for a Practical Assembly Language.

Geoffrey Watson

Proceedings of the Formal Methods and Software Engineering, 2003

2002

Refining Exceptions Using King and Morgan's exit Construct.

Geoffrey Watson

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

A generic proof checker

Geoffrey Watson

PhD thesis, 2001

1999

The deadline command.

Colin J. Fidge, Ian J. Hayes, Geoffrey Watson

IEE Proc. Softw., 1999

1998

A Program Refinement Tool.

David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh

Formal Aspects Comput., 1998

1996

Software Visualisation in a Generic Development Environment.

Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Geoffrey Watson, Jim Welsh

Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996