Owen Traynor

17 papers A* 1C 5Journal 1Unranked 10
YearRankTypeTitle / Venue / Authors
1998 A* conf
Requirements Engineering and Verification using Specification Animation.
ASE
Daniel Hazel, Paul A. Strooper, Owen Traynor
1998 — conf
Supporting Fine-Grained Traceability in Software Development Environments.
SCM
Peter A. Lindsay, Owen Traynor
1997 — conf
A Generic Model for Fine Grained Configuration Management Including Version Control and Traceability.
Australian Software Engineering Conference
Peter Lindsey, Yaowei Liu, Owen Traynor
1997 C conf
Possum: An Animator for the SUM Specification Language.
APSEC
Daniel Hazel, Paul A. Strooper, Owen Traynor
1997 — conf
The Cogito Development System.
AMAST
Owen Traynor, Daniel Hazel, Peter Kearney, Andrew P. Martin, Ray Nickson, Luke Wildman
1996 C conf
Formal Methods Pilot Project.
APSEC
Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor
1995 J jnl
Cogito: a Methodology and System for Formal Software Development.
Int. J. Softw. Eng. Knowl. Eng.
Anthony C. Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor
1994 C conf
The Cogito Repository Manager.
APSEC
Owen Traynor, Anthony C. Bloesch
1994 C conf
The Cogito methodology and system.
APSEC
Anthony C. Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor
1993 — conf
Guided Tour of the PROSPECTRA System.
PROSPECTRA Book
Junbo Liu, Owen Traynor, Steen Lynenskjold
1993 — conf
Program Development: Attributes for Transformation and Proof.
PROSPECTRA Book
Einar W. Karlsen, Owen Traynor
1993 — conf
Program Development: Proof Subsystem.
PROSPECTRA Book
Owen Traynor
1993 — conf
Uniform Transformational Development.
PROSPECTRA Book
Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
1993 — conf
Verification.
PROSPECTRA Book
Andrew D. McGettrick, Owen Traynor, David Duffy
1992 C conf
Knowledge-Based Transfonnational Programming.
SEKE
Junbo Liu, Owen Traynor, Bernd Krieg-Brückner
1991 — conf
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development.
VDM Europe (2)
Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
1991 — conf
The PROSPECTRA System: A Unified Development Framework.
AMAST
Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor