Geoffrey Watson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2002–2007
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ICSE | Automated Generation of Test Cases Using Model-Driven Architecture. | Abu Zafer Javed, Paul A. Strooper, Geoffrey Watson |
| 2006 | MODELS | MDA-Based Re-engineering with Object-Z. | Jrn Guy S, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson |
| 2003 | ICFEM | Compilation by Refinement for a Practical Assembly Language. | Geoffrey Watson |
| 2003 | SEFM | A Partial-Correctness Semantics for Modelling Assembler Programs. | Geoffrey Watson, Colin J. Fidge |
| 2002 | APSEC | Refining Exceptions Using King and Morgan's exit Construct. | Geoffrey Watson |