dblp.uni-trier.dewww.uni-trier.de

Owen Traynor Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1998
15EEDaniel Hazel, Paul A. Strooper, Owen Traynor: Requirements Engineering and Verification using Specification Animation. ASE 1998: 302-305
14EEPeter 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
12EEDaniel Hazel, Paul A. Strooper, Owen Traynor: Possum: An Animator for the SUM Specification Language. APSEC 1997: 42-51
11EEPeter 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
10EETracey 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
9EEAnthony 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
3EEJunbo 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
1EEBernd 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)