Search the dblp DataBase

Publications of Author

1. Geoffrey Watson
   Refining Exceptions Using King and Morgan?s exit Construct. [Citation Graph (0, 0)][DBLP]
   APSEC, 2002, pp:43-51 [Conf]
   
2. Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Geoffrey Watson, Jim Welsh
   Software Visualisation in a Generic Development Environment. [Citation Graph (0, 0)][DBLP]
   Australian Software Engineering Conference, 1996, pp:47-54 [Conf]
   
3. Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Geoffrey Watson, Jim Welsh
   Software Visualisation in a Generic Development Environment. [Citation Graph (0, 0)][DBLP]
   ASYNC, 1996, pp:47-54 [Conf]
   
4. Geoffrey Watson
   Compilation by Refinement for a Practical Assembly Language. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2003, pp:286-305 [Conf]
   
5. Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson
   MDA-Based Re-engineering with Object-Z. [Citation Graph (0, 0)][DBLP]
   MoDELS, 2006, pp:291-305 [Conf]
   
6. Geoffrey Watson, Colin J. Fidge
   A Partial-Correctness Semantics for Modelling Assembler Programs. [Citation Graph (0, 0)][DBLP]
   SEFM, 2003, pp:82-90 [Conf]
   
7. David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh
   A Program Refinement Tool. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1998, v:10, n:2, pp:97-124 [Journal]
   
8. 
   Automated Generation of Test Cases Using Model-Driven Architecture. [Citation Graph (, )][DBLP]