Owen Traynor

	1998
15		Daniel Hazel, Paul A. Strooper, Owen Traynor: Requirements Engineering and Verification using Specification Animation. ASE 1998: 302-305
14		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		Daniel Hazel, Paul A. Strooper, Owen Traynor: Possum: An Animator for the SUM Specification Language. APSEC 1997: 42-51
11		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		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		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		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

Coauthor Index

1	Anthony C. Bloesch	[9]
2	David Duffy	[8]
3	Tracey Hart	[10]
4	Daniel Hazel	[12] [13] [15]
5	Einar W. Karlsen	[1] [2] [5] [7]
6	Edmund Kazmierczak	[9]
7	Peter Kearney	[9] [10] [13]
8	Bernd Krieg-Brückner	[1] [2] [3] [7]
9	Peter A. Lindsay	[10] [14]
10	Peter Lindsey	[11]
11	Fiona Linn	[10]
12	Junbo Liu	[1] [3] [6] [7]
13	Yaowei Liu	[11]
14	Steen Lynenskjold	[6]
15	Andrew Martin	[13]
16	Andrew D. McGettrick	[8]
17	Roberto Morello	[10]
18	Ray Nickson	[13]
19	Kelvin J. Ross	[10]
20	Greg Royle	[10]
21	Paul A. Strooper	[12] [15]
22	Luke Wildman	[13]

Colors in the list of coauthors