| 2008 |
|---|
| 10 | EE | Feng (Barry) Tao,
Shakeel A. Khoja,
Hugh C. Davis,
Andrew M. Gravell:
Academic Administration and Management Scenarios on the Semantic Web.
ICALT 2008: 149-151 |
| 9 | EE | Noura Abbas,
Andrew M. Gravell,
Gary B. Wills:
Historical Roots of Agile Methods: Where Did "Agile Thinking" Come From?.
XP 2008: 94-103 |
| 2007 |
|---|
| 8 | EE | Noura Abbas,
Andrew M. Gravell,
Gary B. Wills:
Agile Software Assurance.
XP 2007: 165-166 |
| 7 | EE | Andrew M. Gravell:
Verification conditions are code.
Acta Inf. 43(6): 431-447 (2007) |
| 2003 |
|---|
| 6 | EE | Juan Carlos Augusto,
Carla Ferreira,
Andrew M. Gravell,
Michael Leuschel,
Karen M. Y. Ng:
The Benefits of Rapid Modelling for E-business System Development.
ER (Workshops) 2003: 17-28 |
| 5 | EE | Juan Carlos Augusto,
Y. Howard,
Andrew M. Gravell,
Carla Ferreira,
Stefan Gruner,
Michael Leuschel:
Model-Based Approaches for Validating Business Critical Systems.
STEP 2003: 225-233 |
| 2002 |
|---|
| 4 | EE | Marielle Doche,
Andrew M. Gravell:
Extraction of Abstraction Invariants for Data Refinement.
ZB 2002: 120-139 |
| 1999 |
|---|
| 3 | EE | Eric C. R. Hehner,
Andrew M. Gravell:
Refinement Semantics and Loop Rules.
World Congress on Formal Methods 1999: 1497-1510 |
| 1995 |
|---|
| 2 | | Andrew M. Gravell,
Chris H. Pratten:
Formal Methods and Open Systems.
Software - Concepts and Tools 16(4): 183- (1995) |
| 1990 |
|---|
| 1 | | Andrew M. Gravell:
What is a Good Formal Specification?
Z User Workshop 1990: 137-150 |
