Searching for authors named "Owen Traynor" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Supporting Fine-grained Traceability in Software Development Environments
- … Development Environments Peter Lindsay and Owen Traynor July 1998 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533…
- Cited by 2 (0 self) – Add To MetaCart
-
Requirements Engineering and Verification using Specification Animation
- … Specication Animation Daniel Hazel Paul Strooper Owen Traynor June 1998 Phone: +61 7 3365 1003 Fax: +61 7 3365…
- Cited by 12 (4 self) – Add To MetaCart
-
A Modular Extension to Z for Specification, Reasoning and Refinement
- … and Refinement Ed. Kazmierczak, Peter Kearney, Owen Traynor and Li Wang February 1995 Phone: +61 7 3365 1003 Fax…
- Cited by 3 (1 self) – Add To MetaCart
-
POSSUM: An Animator for the SUM Specification Language
- … Daniel Hazel Paul Strooper Owen Traynor February 1997 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http…
- Cited by 17 (5 self) – Add To MetaCart
-
Applying Refinement in an Industrial Pilot Project using Cogito
- … Ltd AUSTRALIA Peter Kearney, Kelvin Ross, Owen Traynor Software Verification Research Centre Dept…
- Add To MetaCart
-
Managing Document Conformance: A Case Study in Fine-Grained Configuration Management
- …-grained configuration management Peter A. Lindsay, Yaowei Liu and Owen Traynor November 1996 Phone: +61 7 3365 1003 Fax…
- Cited by 3 (3 self) – Add To MetaCart
-
Version and Configuration Management of Formal Theories
- … Peter A. Lindsay Owen Traynor February 1997 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http…
- Cited by 4 (2 self) – Add To MetaCart
-
A Complete Formal Development using Cogito
- … Hamilton Dan Hazel Peter Kearney Owen Traynor Luke Wildman December 1997 Phone: +61 7 3365 1003 Fax: +61 7…
- Cited by 4 (1 self) – Add To MetaCart
-
Interpretation and Instantiation of Theories for Reasoning about Formal Specifications
- … for Reasoning about Formal Specifications Nicholas Hamilton, Ray Nickson, Owen Traynor and Mark Utting August…
- Cited by 3 (1 self) – Add To MetaCart
-
Formal methods pilot project
- …,flinn,rmo,groyle@(email omitted);) Peter Kearney, Peter Lindsay, Kelvin Ross, Owen Traynor Software Verification Research Centre, Dept…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
