dblp.uni-trier.dewww.uni-trier.de

Geoffrey Watson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
7EEJörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson: MDA-Based Re-engineering with Object-Z. MoDELS 2006: 291-305
2003
6EEGeoffrey Watson: Compilation by Refinement for a Practical Assembly Language. ICFEM 2003: 286-305
5EEGeoffrey Watson, Colin J. Fidge: A Partial-Correctness Semantics for Modelling Assembler Programs. SEFM 2003: 82-90
2002
4EEGeoffrey 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
2EEWarwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Geoffrey Watson, Jim Welsh: Software Visualisation in a Generic Development Environment. ASYNC 1996: 47-54
1EEWarwick 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

Coauthor Index

1Warwick Allison [1] [2]
2David A. Carrington [1] [2] [3]
3Colin J. Fidge [5]
4Ian J. Hayes [3]
5Tim Jones [1] [2]
6Soon-Kyeong Kim [7]
7Tim McComb [7]
8Ray Nickson [3]
9Larry Stewart-Zerba [1] [2]
10Jörn Guy Süß [7]
11Jim Welsh [1] [2] [3]
12Luke Wildman [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)