1998 |
15 | EE | Daniel Hazel,
Paul A. Strooper,
Owen Traynor:
Requirements Engineering and Verification using Specification Animation.
ASE 1998: 302-305 |
14 | EE | Peter A. Lindsay,
Owen Traynor:
Supporting Fine-Grained Traceability in Software Development Environments.
SCM 1998: 133-139 |
1997 |
13 | | Owen Traynor,
Daniel Hazel,
Peter Kearney,
Andrew Martin,
Ray Nickson,
Luke Wildman:
The Cogito Development System.
AMAST 1997: 586-591 |
12 | EE | Daniel Hazel,
Paul A. Strooper,
Owen Traynor:
Possum: An Animator for the SUM Specification Language.
APSEC 1997: 42-51 |
11 | EE | Peter Lindsey,
Yaowei Liu,
Owen Traynor:
A Generic Model for Fine Grained Configuration Management Including Version Control and Traceability.
Australian Software Engineering Conference 1997: 27- |
1996 |
10 | EE | Tracey Hart,
Fiona Linn,
Roberto Morello,
Greg Royle,
Peter Kearney,
Peter A. Lindsay,
Kelvin J. Ross,
Owen Traynor:
Formal Methods Pilot Project.
APSEC 1996: 238-245 |
1995 |
9 | EE | Anthony C. Bloesch,
Edmund Kazmierczak,
Peter Kearney,
Owen Traynor:
Cogito: a Methodology and System for Formal Software Development.
International Journal of Software Engineering and Knowledge Engineering 5(4): 599-617 (1995) |
1993 |
8 | | Andrew D. McGettrick,
Owen Traynor,
David Duffy:
Verification.
PROSPECTRA Book 1993: 129-144 |
7 | | Bernd Krieg-Brückner,
Einar W. Karlsen,
Junbo Liu,
Owen Traynor:
Uniform Transformational Development.
PROSPECTRA Book 1993: 317-330 |
6 | | Junbo Liu,
Owen Traynor,
Steen Lynenskjold:
Guided Tour of the PROSPECTRA System.
PROSPECTRA Book 1993: 331-366 |
5 | | Einar W. Karlsen,
Owen Traynor:
Program Development: Attributes for Transformation and Proof.
PROSPECTRA Book 1993: 450-459 |
4 | | Owen Traynor:
Program Development: Proof Subsystem.
PROSPECTRA Book 1993: 495-521 |
1992 |
3 | EE | Junbo Liu,
Owen Traynor,
Bernd Krieg-Brückner:
Knowledge-Based Transfonnational Programming.
SEKE 1992: 632-639 |
1991 |
2 | | Einar W. Karlsen,
Bernd Krieg-Brückner,
Owen Traynor:
The PROSPECTRA System: A Unified Development Framework.
AMAST 1991: 421-433 |
1 | | Bernd Krieg-Brückner,
Einar W. Karlsen,
Junbo Liu,
Owen Traynor:
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development.
VDM Europe (2) 1991: 363-397 |