Owen Traynor

According to our database, Owen Traynor authored at least 17 papers between 1991 and 1998.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1998

Supporting Fine-Grained Traceability in Software Development Environments.

Peter A. Lindsay, Owen Traynor

Proceedings of the System Configuration Management, 1998

Requirements Engineering and Verification using Specification Animation.

Daniel Hazel, Paul A. Strooper, Owen Traynor

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

A Generic Model for Fine Grained Configuration Management Including Version Control and Traceability.

Peter Lindsey, Yaowei Liu, Owen Traynor

Proceedings of the 1997 Australian Software Engineering Conference (ASWEC '97), 28 September, 1997

Possum: An Animator for the SUM Specification Language.

Daniel Hazel, Paul A. Strooper, Owen Traynor

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

The Cogito Development System.

Owen Traynor, Daniel Hazel, Peter Kearney, Andrew P. Martin, Ray Nickson, Luke Wildman

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Formal Methods Pilot Project.

Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1995

Cogito: a Methodology and System for Formal Software Development.

Anthony C. Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor

Int. J. Softw. Eng. Knowl. Eng., 1995

1994

The Cogito Repository Manager.

Owen Traynor, Anthony C. Bloesch

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

The Cogito methodology and system.

Anthony C. Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1993

Program Development: Proof Subsystem.

Owen Traynor

Proceedings of the Program Development by Specification and Transformation, 1993

Verification.

Andrew D. McGettrick, Owen Traynor, David Duffy

Proceedings of the Program Development by Specification and Transformation, 1993

Guided Tour of the PROSPECTRA System.

Junbo Liu, Owen Traynor, Steen Lynenskjold

Proceedings of the Program Development by Specification and Transformation, 1993

Uniform Transformational Development.

Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor

Proceedings of the Program Development by Specification and Transformation, 1993

Program Development: Attributes for Transformation and Proof.

Einar W. Karlsen, Owen Traynor

Proceedings of the Program Development by Specification and Transformation, 1993

1992

Knowledge-Based Transfonnational Programming.

Junbo Liu, Owen Traynor, Bernd Krieg-Brückner

Proceedings of the SEKE'92, 1992

1991

The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development.

Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor

Proceedings of the VDM '91, 1991

The PROSPECTRA System: A Unified Development Framework.

Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991