SVRC Technical Reports
1990 1991 1992 1993 1994 1995 1996 1997 1998 1999Technical reports for 2000-2002 can be found in the UQ cybrary ePrints archive.
1990 Technical Reports
Technical Report No. 90-01 gzipped postscript PDFHigher Level Meta Programming in Qu-Prolog 3.0
A.S.K. Cheng, P.J. Robinson and J. Staples
October 1990
1991 Technical Reports
Technical Report No. 91-1 gzipped postscript PDFThe Object-Z Specification Language: Version 1
Roger Duke, Paul King, Gordon Rose and Graeme Smith
April 1991
1992 Technical Reports
Technical Report No. 92-5 gzipped postscript PDFSpecification Issues for Real-Time Behaviour of RISC Processors
Mark Utting and Peter Kearney
October 1992
Technical Report No. 92-6 gzipped postscript PDF
Pipeline Specification of a MIPS R3000 CPU
Mark Utting and Peter Kearney
April 1994
Technical Report No. 92-8 gzipped postscript PDF
Providing User-Oriented Support for Software Development by Formal Methods
A.S.K. Cheng, J. Han, J. Welsh and A. Wood
December 1992
Technical Report No. 92-10 gzipped postscript PDF
Real Time Behaviour of a RISC processor: Specification and Computer-Aided Verification.
Peter Kearney, Mark Utting and Keith Whitwell
December 1992, revised April 1994
Back to top
1993 Technical Reports
Technical Report No. 93-3 gzipped postscript PDFMaintaining Consistency Under Changes to Formal Specifications: An Extended Case Study
Kelvin J. Ross and Peter A. Lindsay
March 1993
Technical Report No. 93-4 gzipped postscript PDF
The demonstration interactive theorem prover Demo3.3
Peter J. Robinson and K. Whitwell
June 1993
Technical Report No. 93-5 gzipped postscript PDF
A Review of EVES
Jian Chen and Jun Han
May 1993
Technical Report No. 93-6 gzipped postscript PDF
Deriving Modular Designs from Formal Specifications
David Carrington and David Duke and Ian Hayes and Jim Welsh
April 1993
Technical Report No. 93-7 gzipped postscript PDF
Incorporating Constructive Tools into a Generic Language-Based Editor
A.S.K. Cheng, J. Han, J. Welsh and A. Wood
April 1993
Technical Report No. 93-8 gzipped postscript PDF
An Approach to Constructing Verified Software
Keith Harwood, Peter Lindsay and Rex Matthews
September 1993
Technical Report No. 93-9 gzipped postscript PDF
Formal Specification of an Abstract Syntax for Fragments
David Hemer, Peter Lindsay and Rex Matthews
November 1993
Technical Report No. 93-10 gzipped postscript PDF
Formally Verified Real-Time Software: an Integrated Development Strategy (Extended Version)
C. Fidge and P. Kearney and J. Staples
June 1993
Technical Report No. 93-11 gzipped postscript PDF
VDM and the Refinement Calculus: a comparison of two systematic design methods
David Carrington
December 1993
Technical Report No. 93-12 gzipped postscript PDF
Metavariables and Conditional Refinements in the Refinement Calculus
R. G. Nickson and L. J. Groves
May 1994
Technical Report No. 93-13 gzipped postscript PDF
Deriving Modular Designs from Formal Specifications: The Analysis Phase
David Carrington and David Duke and Ian Hayes and Jim Welsh
October 1993
Technical Report No. 93-14 gzipped postscript PDF
Guidelines for the Manual Conversion of Object-Z to C++
Wendy Johnston and Gordon Rose
September 1993
Technical Report No. 93-15 gzipped postscript PDF
Fundamentals of Distributed System Observation (version 1.1)
Colin Fidge
November 1993
Technical Report No. 93-16 gzipped postscript PDF
Proof Obligations for Real-Time Refinement
Colin Fidge
November 1993
Technical Report No. 93-17 gzipped postscript PDF
Methodology Modelling: Combining Software Processes with Software Products
Jun Han and Jim Welsh
August 1993
Technical Report No. 93-18 gzipped postscript PDF
Qu-Prolog 3.2 Reference Manual
Peter J. Robinson and Anthony Cheng
October 1993
Technical Report No. 93-19 gzipped postscript PDF
Ergo User Manual
Mark Utting and Keith Whitwell
February 1994
Technical Report No. 93-20 gzipped postscript PDF
Reasoning about Z specifications: a VDM perspective
Peter Lindsay
October 1993
Technical Report No. 93-21 gzipped postscript PDF
Synthesising Designs from Formal Specifications: A Case Study
Anthony MacDonald and David Carrington
November 1993
Technical Report No. 93-23 gzipped postscript PDF
Software Documents: Concepts and Tools
Jim Welsh and Jun Han
November 1993
Technical Report No. 93-24 gzipped postscript PDF
A Comparative Introduction to CSP, CCS and LOTOS
Colin Fidge
April 1994
Technical Report No. 93-25 gzipped postscript PDF
Instruction Level Specification of a MIPS R3000 CPU
Mark Utting
April 1994
Back to top
1994 Technical Reports
Technical Report No. 94-2 gzipped postscript PDFIntegration of semantic tools into document editors
Jim Welsh and Yun Yang
January 1994
Technical Report No. 94-3 gzipped postscript PDF
Case studies in the verification of specifications in VDM and Z
Peter Lindsay and Erik van Keulen
March 1994
Technical Report No. 94-4 gzipped postscript PDF
A tale of two paradigms: Formal methods and software testing
David Carrington and Phil Stocks
February 1994
Technical Report No. 94-6 gzipped postscript PDF
Expressing program developments from the Refinement Calculus in CARE
Peter Lindsay
March 1994
Technical Report No. 94-7 gzipped postscript PDF
A Precise Examination of the Behaviour of Merlin Process Models
Kelvin Ross and Peter Lindsay
September 1994
Technical Report No. 94-8 gzipped postscript PDF
A Review of Existing Refinement Tools
David Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson and Jim Welsh
June 1994
Technical Report No. 94-9 gzipped postscript PDF
Cover Your Self With Skin
John Hosking, Stephen Fenwick, Rick Mugridge and John Grundy
March 1994
Technical Report No. 94-10 gzipped postscript PDF
On transferring VDM verification techniques to Z
Peter Lindsay
March 1994
Technical Report No. 94-11 gzipped postscript PDF
Formal Specification and Interactive Proof of a Simple Real-Time Scheduler
Colin Fidge, Peter Kearney and Mark Utting
April 1994
Technical Report No. 94-12 gzipped postscript PDF
Adding Real Time to Formal Program Development
Colin Fidge
June 1994
Technical Report No. 94-13 gzipped postscript PDF
A Layered Real-Time Specification of a RISC Processor.
Peter Kearney and Mark Utting
June 1994
Technical Report No. 94-18 gzipped postscript PDF
Tableau Style Proof Systems for Various Many-Valued Logics
Anthony Bloesch
April 1994
Technical Report No. 94-22 gzipped postscript PDF
Verification Case Studies in Mural
Erik van Keulen and Peter Lindsay
August 1994
Technical Report No. 94-26 gzipped postscript PDF
Quartz: An Integrated Formal Development Method for Real-Time Software
C. Fidge and P. Kearney and M. Utting
September 1994
Technical Report No. 94-27 gzipped postscript PDF
A Simple, Expressive Real-Time CCS
C. Fidge and J. Zic
December 1994
Technical Report No. 94-28 gzipped postscript PDF
A Methodology for Behavioural Retrieval from Class Libraries
Roger Duke and Steven Atkinson
September 1994
Technical Report No. 94-31 gzipped postscript PDF
Using Units of Measurement in Formal Specifications
Ian J. Hayes and Brendan P. Mahony
November 1994
Technical Report No. 94-32 gzipped postscript PDF
Using the Refinement Calculus for Dataflow Processes
Brendan Mahony
October 1994
Technical Report No. 94-33 gzipped postscript PDF
Frame-based Typing of Predicate Transformers
Brendan Mahony
January 1995
Technical Report No. 94-37 gzipped postscript PDF
Relational Views for Program Comprehension
Tim Jones, Warwick Allison and David Carrington
October 1994
Technical Report No. 94-38 gzipped postscript PDF
Supporting module reuse in refinement
Ian Hayes
September 1994
Technical Report No. 94-39 gzipped postscript PDF
A Haskell implementation of Z data types
Mark Utting
December 1994
Technical Report No. 94-40 gzipped postscript PDF
Animating Z: Interactivity, Transparency and Equivalence
Mark Utting
December 1994
Technical Report No. 94-42 gzipped postscript PDF
Refining the Dependency Management System using the Refinement Calculus
David Carrington and Nigel Ward
March 1995
Technical Report No. 94-43 gzipped postscript PDF
Requirements for a Program Refinement Engine
David Carrington and Ian Hayes and Ray Nickson and Geoffrey Watson and Jim Welsh
November 1994
Technical Report No. 94-44 gzipped postscript PDF
Refinement in Ergo
David Carrington and Ian Hayes and Ray Nickson and Geoffrey Watson and Jim Welsh
November 1994
Technical Report No. 94-45 gzipped postscript PDF
Object-Z: A Specification Language Advocated for the Description of Standards
Roger Duke, Gordon Rose and Graeme Smith
December 1994
Technical Report No. 94-46 gzipped postscript PDF
Z Specification of the Production Cell
Anthony MacDonald and David Carrington
October 1994
Technical Report No. 94-48 gzipped postscript PDF
A Logic for Object-Z
Graeme Smith
December 1994
Technical Report No. 94-50 gzipped postscript PDF
A small language definition in Z
Ian Hayes
December 1994
Back to top
1995 Technical Reports
Technical Report No. 95-1 gzipped postscript PDFAn Action-Based Formal Model for Concurrent, Real-Time Systems
C.J. Fidge and A.J. Wellings
February 1995 (Revision 1.1 September 1996)
Technical Report No. 95-3 gzipped postscript PDF
Composing grammar transformations to construct a specification of a parser
Luke Wildman and Ian Hayes
January 1995
Technical Report No. 95-4 gzipped postscript PDF
Calculating the Least Conjunctive Refinement
Brendan P. Mahony
February 1995
Technical Report No. 95-5 gzipped postscript PDF
Networks of Predicate Transformers
Brendan P. Mahony
February 1995
Technical Report No. 95-6 gzipped postscript PDF
Diagrammatic Presentation of Software Engineering Documents
Tim Jones
February 1995
Technical Report No. 95-8 gzipped postscript PDF
Models for Configuration Management of Refinement Calculus Developments
Kelvin J. Ross
April 1995
Technical Report No. 95-9 gzipped postscript PDF
The Care method of verified software development
Peter A. Lindsay
June 1995
Technical Report No. 95-10 gzipped postscript PDF
The datalogger case study in Care
Peter A. Lindsay
June 1995
Technical Report No. 95-11 gzipped postscript PDF
A syntax for system specification that integrates VDM-SL and Z
Peter A. Lindsay
December 1995
Technical Report No. 95-13 gzipped postscript PDF
Formal specification of Proof Obligation Generation in CARE
David Hemer and Peter Lindsay
December 1995
Technical Report No. 95-14 gzipped postscript PDF
Concrete syntax for the Care fragment language
David Hemer
June 1995
Technical Report No. 95-15 gzipped postscript PDF
A Modular Extension to Z for Specification, Reasoning and Refinement
Ed Kazmierczak, Peter Kearney, Owen Traynor and Li Want
February 1995
Technical Report No. 95-19 gzipped postscript PDF
Structuring Z Specifications: Some Choices
Anthony MacDonald and David Carrington
January 1995
Technical Report No. 95-24 gzipped postscript PDF
Code Synthesis in Care
Rex Matthews and Trudy Weibel
October 1995
Technical Report No. 95-26 gzipped postscript PDF
A Logic for Object-Z (Additional Rules)
Graeme Smith
September 1995
Technical Report No. 95-27 gzipped postscript PDF
Reasoning about Object-Z specifications
Graeme Smith
September 1995
Technical Report No. 95-28 gzipped postscript PDF
Visualisation and Software Development: Analysing the requirements
T. Jones, D. Carrington, W. Allison, L. Stewart-Zerba, G. Watson and J. Welsh
June 1995
Technical Report No. 95-29 gzipped postscript PDF
Program Window Inference
Ray Nickson and Ian Hayes
July 1995
Technical Report No. 95-30 gzipped postscript PDF
Specification by interface separation
I. J. Hayes and J. W. Sanders
July 1995
Technical Report No. 95-31 gzipped postscript PDF
Using CARE to construct verified software
Peter Lindsay, David Hemer, Rex Matthews, Keith Harwood, Thies Arens, Frances Collis, Trudy Weibel
August 1995
Technical Report No. 95-32 gzipped postscript PDF
Visualisation in a generic software development environment
W. Allison, D. Carrington, T. Jones, L. Stewart-Zerba, G. Watson and J. Welsh
December 1995
Technical Report No. 95-33 gzipped postscript PDF
Comparing two user-interface architectures: MVC and PAC
Andrew Hussey and David Carrington
December 1995
Technical Report No. 95-35 gzipped postscript PDF
Formalizing the Proposed Eiffel Library Kernel Standard
Steven Atkinson
August 1995
Technical Report No. 95-36 gzipped postscript PDF
Unifying wp and wlp
Carroll Morgan and Annabelle McIver
August 1995
Technical Report No. 95-38 gzipped postscript PDF
A Semantic Foundation for Object Identity in Formal Specification
Alena Griffiths and Gordon Rose
September 1995
Technical Report No. 95-39 gzipped postscript PDF
An Extended Semantic Foundation for Object-Z
Alena Griffiths
October 1995
Technical Report No. 95-40 gzipped postscript PDF
Real-Time Schedulability Tests for Preemptive Multitasking
C.J. Fidge
November 1996 (Revision 2)
Technical Report No. 95-41 gzipped postscript PDF
A Unifying Model for Retrieval from Reusable Software Libraries
Steven Atkinson
December 1995
Technical Report No. 95-42 gzipped postscript PDF
A New Face for Ergo: Adding a User Interface to A Programmable Theorem Prover
Ray Nickson and Mark Utting
October 1995
Technical Report No. 95-44 gzipped postscript PDF
Formal Specification of an Abstract Syntax for the CARE Language
David Hemer and Peter Lindsay
October 1995
Technical Report No. 95-45 gzipped postscript PDF
An Empirical Investigation of Language-Based Editing Paradigms
Mark A. Toleman and Jim Welsh
December 1995
Technical Report No. 95-46 gzipped postscript PDF
Structured Presentation of Refinements and Proofs
D. Carrington, I. Hayes, R. Nickson, G. Watson and J. Welsh
November 1995
Technical Report No. 95-47 gzipped postscript PDF
Integrating Real-Time Scheduling Theory and Program Refinement
C. Fidge and M. Utting and P. Kearney and I. Hayes
November 1995
Technical Report No. 95-48 gzipped postscript PDF
A Real-Time Refinement Calculus that changes only Time
Mark Utting and Colin Fidge
December 1995
Technical Report No. 95-52 gzipped postscript PDF
The CARE toolset for developing verified programs from formal specifications
David Hemer and Peter Lindsay
December 1995
Technical Report No. 95-55 gzipped postscript PDF
Formal Verification of Object-Z Specifications
Graeme Smith
December 1995
Technical Report No. 95-56 gzipped postscript PDF
The PRT User Manual Version 1.03
D. Carrington, I. Hayes, R. Nickson, G. Watson and J. Welsh
December 1995
Back to top
1996 Technical Reports
Technical Report No. 96-01 gzipped postscript PDFSpecification Models
Ian J. Hayes
January 1996
Technical Report No. 96-02 gzipped postscript PDF
Using Object-Z to Specify Object-Oriented Programming Languages
Jin Song Dong and Roger Duke
February 1996
Technical Report No. 96-03 gzipped postscript PDF
ClassBench: A Methodology and Framework for Automated Class Testing
Daniel Hoffman and Paul Strooper
April 1996
Technical Report No. 96-04 gzipped postscript PDF
Guiding Object-Oriented Design
Anthony MacDonald and David Carrington
May 1996
Technical Report No. 96-05 gzipped postscript PDF
An Experiment in Specification-based Testing
Ian MacColl, David Carrington, and Philip Stocks
May 1996
Technical Report No. 96-06 gzipped postscript PDF
Using Object-Z to specify a web browser interface
Andrew Hussey and David Carrington
May 1996
Technical Report No. 96-07 gzipped postscript PDF
A formal basis for modelling process and task management aspects of human-computer interface design
Peter Lindsay
May 1996
Technical Report No. 96-10 gzipped postscript PDF
Requirements for a generic, language-based diagram editor
Tim Jones and Jim Welsh
November 1996
Technical Report No. 96-11 gzipped postscript PDF
Coercing real-time refinement: A transmitter
Ian Hayes and Mark Utting
June 1996
Technical Report No. 96-13 gzipped postscript PDF
An industrial-strength method for the construction of formally verified software
Peter Lindsay and David Hemer
June 1996
Technical Report No. 96-14 gzipped postscript PDF
Modelling real-time multi-tasking systems with timed traces
Colin Fidge
August 1996
Technical Report No. 96-15 gzipped postscript PDF
State-machine vs. trace modelling of real-time reactive systems
Colin Fidge
August 1996
Technical Report No. 96-17 gzipped postscript PDF
Formal Methods Pilot Project Final Report
CSC Australia and SVRC Pilot Project Team
July 1996
Technical Report No. 96-22 gzipped postscript PDF
The Sum Environment in Ergo: A Tutorial
A. Bloesch, E. Kazmierczak and M. Utting
September 1996
Technical Report No. 96-24 gzipped postscript PDF
A Type Checker for Object-Z
Wendy Johnston
September 1996
Technical Report No. 96-25 gzipped postscript PDF
Internal and External Choice in Specification
Ian Hayes
September 1996
Technical Report No. 96-26 gzipped postscript PDF
Refinement Rules for Real-Time Multi-tasking Programs
C. J. Fidge
August 1997
Technical Report No. 96-29 gzipped postscript PDF
Supporting Contexts in Program Refinement
Ray Nickson and Ian Hayes
December 1996
Technical Report No. 96-30 gzipped postscript PDF
Applying Design Patterns to Object-Z Specifications of User-interfaces
Andrew Hussey and David Carrington
December 1996
Technical Report No. 96-31 gzipped postscript PDF
Ergo 4.1 Reference Manual
Holger Becht and Anthony Bloesch and Ray Nickson and Mark Utting
November 1996
Technical Report No. 96-32 gzipped postscript PDF
Refinement of Infeasible Real-time Programs
Mark Utting and Colin Fidge
April 1997
Technical Report No. 96-33 gzipped postscript PDF
A Semantics for a Simple Sub-language of Object-Z
Alena Griffiths
December 1996
Technical Report No. 96-34 gzipped postscript PDF
Refining Specifications to Logic Programs
I. J. Hayes and R. G. Nickson and P. A. Strooper
October 1996
Technical Report No. 96-35 gzipped postscript PDF
Developing Reactive Systems with Z
K. Lermer and P. Baumann
December 1996
Technical Report No. 96-36 gzipped postscript PDF
Can Design Choices for Language-Based Editors be Analysed with Keystroke-Level Models
M. A. Toleman and J. Welsh
December 1996
Technical Report No. 96-37 gzipped postscript PDF
Reasoning about Aliasing
Mark Utting
December 1996
Technical Report No. 96-38 gzipped postscript PDF
Testing Inheritance Hierarchies in the ClassBench Framework
Jason McDonald and Paul Strooper
December 1996
Back to top
1997 Technical Reports
Technical Report No. 97-01 gzipped postscript PDFA Formal Model for Integrated Retrieval from Software Libraries
S. Atkinson
July 1997
Technical Report No. 97-03 gzipped postscript PDF
Reuse of verified design templates through extended pattern matching
D. Hemer and P. Lindsay
January 1997
Technical Report No. 97-04 gzipped postscript PDF
A systematic approach to software safety integrity levels
P. A. Lindsay and J. A. McDermid
February 1997
Technical Report No. 97-05 gzipped postscript PDF
Specification and Validation of a Network Security Policy Model
P. A. Lindsay
April 1997
Technical Report No. 97-06 gzipped postscript PDF
Defining Recursive Operations in Object-Z
Alena Griffiths
February 1997
Technical Report No. 97-10 gzipped postscript PDF
Possum: An Animator for the SUM Specification Language
Daniel Hazel and Paul Strooper and Owen Traynor
February 1997
Technical Report No. 97-12 gzipped postscript PDF
Qu-Prolog 4.2 User Guide
P. J. Robinson
December 1997
Technical Report No. 97-13 gzipped postscript PDF
Version and configuration management of formal theories
P. A. Lindsay and O. Traynor
February 1997
Technical Report No. 97-16 gzipped postscript PDF
A Tactic Language for Ergo
A. Martin and R. Nickson and M. Utting
May 1997
Technical Report No. 97-17 gzipped postscript PDF
A Comparison of Modularity in B and Cogito
Geoffrey Norman Watson
April 1997
Technical Report No. 97-18 gzipped postscript PDF
Inheritance and Specification-based Object-oriented Testing
L. Murray and D. Carrington and I. MacColl and P. Strooper
April 1997
Technical Report No. 97-20 gzipped postscript PDF
Object-oriented Operations Have Two Parts
Alena Griffiths
March 1997
Technical Report No. 97-22 gzipped postscript PDF
Modelling program compilation in the refinement calculus
C. J. Fidge
May 1997
Technical Report No. 97-23 gzipped postscript PDF
A Formal Approach to Specification and Verification of Task Management in Interactive Systems
P. A. Lindsay
April 1997
Technical Report No. 97-24 gzipped postscript PDF
An Empirical Study of Formal User-Interface Design
A. Hussey and D. Carrington
August 1997
Technical Report No. 97-25 gzipped postscript PDF
Visualising software documents in a generic development environment
W. Allison and D. Carrington and T. Jones and L. Stewart-Zerba and J. Welsh
December 1997
Technical Report No. 97-26 gzipped postscript PDF
`self'-Conscious Objects in Object-Z
Alena Griffiths
November 1997
Technical Report No. 97-27 gzipped postscript PDF
An Object-Z Browser
W. Johnston
December 1997
Technical Report No. 97-29 gzipped postscript PDF
Compilation as refinement
Karl Lermer and Colin Fidge
May 1997
Technical Report No. 97-32 gzipped postscript PDF
A Tool for Refining Logic Programs
Robert Colvin and Ian Hayes and Ray Nickson and Paul Strooper
June 1997
Technical Report No. 97-34 gzipped postscript PDF
Why effective proof tool support for Z is hard
Andrew Martin
November 1997
Technical Report No. 97-36 gzipped postscript PDF
Applying the Cogito Program Development Environment to Real-Time System Design
C. J. Fidge and P. Kearney and A. P. Martin
November 1997
Technical Report No. 97-37 gzipped postscript PDF
Cognitive Deficiencies in Software Library Design
S. Atkinson
September 1997
Technical Report No. 97-38 gzipped postscript PDF
Derivation of Safety Requirements for Simple Computer-Based Systems
B. Atchison and P. Lindsay
December 1997
Technical Report No. 97-41 gzipped postscript PDF
Software Visualisation in a Language Based Editor
T. S. Jones and J. Welsh
December 1997
Technical Report No. 97-42 gzipped postscript PDF
Timing Constraint Analysis
S. Grundon and I. J. Hayes and C. J. Fidge
December 1997
Technical Report No. 97-43 gzipped postscript PDF
A limitation of vector timestamps for reconstructing distributed computations
C. J. Fidge
December 1997
Back to top
1998 Technical Reports
Technical Report No. 98-01 gzipped postscript PDFDeadlines are termination
Ian J. Hayes and Mark Utting
January 1998
Technical Report No. 98-02 gzipped postscript PDF
A Model of Real-Time Distributed Systems
Axel Wabenhorst
February 1998
Technical Report No. 98-03 gzipped postscript PDF
Formal Derivation of Finite State Machines for Class Testing
L. Murray, D. Carrington, I. MacColl, J. McDonald and P. Strooper
February 1998
Technical Report No. 98-04 gzipped postscript PDF
Translating Object-Z Specifications to Passive Test Oracles
Jason McDonald
March 1998
Technical Report No. 98-05 gzipped postscript PDF
Analysis of the Timing Path Methodology
Philip Cook
April 1998
Technical Report No. 98-06 gzipped postscript PDF
Lifting in Z
Andrew Martin and Colin Fidge
June 1998
Technical Report No. 98-08 gzipped postscript PDF
Specification-based class testing: A case study
I. MacColl, L. Murray, P. Strooper and D. Carrington
December 1998
Technical Report No. 98-09 gzipped postscript PDF
Defining Differentiation and Integration in Z
C. J. Fidge, I. J. Hayes and B. P. Mahony
September 1998
Technical Report No. 98-10 gzipped postscript PDF
Supporting Fine-grained Traceability in Software Development Environments
Peter A. Lindsay and Owen Traynor
July 1998
Technical Report No. 98-11 gzipped postscript PDF
Multi-Threading and Message Communication in Qu-Prolog
K. Clark, P. J. Robinson and R. Hagen
June 1998
Technical Report No. 98-12 gzipped postscript PDF
Specification-based Class Testing with ClassBench
L. Murray, J. McDonald and P. Strooper
May 1998
Technical Report No. 98-13 gzipped postscript PDF
Proof Representations in Theorem Provers
Geoffrey Watson
September 1998
Technical Report No. 98-14 gzipped postscript PDF
Separating Timing and Calculation in Real-Time Refinement
Ian Hayes
July 1998
Published International Refinement Workshop and Formal Methods Pacific 1998 1998
Technical Report No. 98-15 gzipped postscript PDF
Data Refining Logic Programs
Robert Colvin, Ian Hayes and Paul Strooper
July 1998
Technical Report No. 98-17 gzipped postscript PDF
Program Refinement Tool, Release 1.03c, Technical Manual
Luke Wildman and Axel Wabenhorst
August 1998
Technical Report No. 98-18 gzipped postscript PDF
Systematic evaluation of design choices for software development tools
Mark Toleman and Jim Welsh
August 1998
Technical Report No. 98-19 gzipped postscript PDF
The Deadline Command
C. Fidge, I. Hayes and G. Watson
December 1998
Technical Report No. 98-20 gzipped postscript PDF
Mechanising the Reals in an Interactive Theorem Prover using Theory Interpretation
J. Shield, I. Hayes and D. Carrington
December 1998
Technical Report No. 98-21 gzipped postscript PDF
A Revised Logic for Standard Z
A. Martin
November 1998
Technical Report No. 98-22 gzipped postscript PDF
From Object-Z Specifications to ClassBench Test Suites
David Carrington, Ian MacColl, Jason McDonald, Leesa Murray and Paul Strooper
October 1998
Technical Report No. 98-23 gzipped postscript PDF
Specification and Refinement of a Real-Time Control System
G. Smith
October 1998
Technical Report No. 98-24 gzipped postscript PDF
From Formal Specifications to Ada Programs
Peter Kearney and Luke Wildman
October 1998
Technical Report No. 98-25 gzipped postscript PDF
A tutorial introduction to formal methods
P. A. Lindsay
October 1998
Published Proceedings 3rd Australian Workshop on Safety Critical Systems and Software 1998
Technical Report No. 98-26 gzipped postscript PDF
Refinement of Z Machines
Karl Lermer
November 1998
Technical Report No. 98-27 gzipped postscript PDF
A Formal Model of Real-Time Program Compilation
K. Lermer and C. J. Fidge
June 2000
Technical Report No. 98-28 gzipped postscript PDF
Discharging Proof Obligations of Sum operations Using Ergo: A Tutorial
Wendy Johnston
December 1998
Technical Report No. 98-29 gzipped postscript PDF
Supporting Contexts in the Sequential Real-Time Refinement Calculus
Luke Wildman and Ian Hayes
December 1998
Technical Report No. 98-30 gzipped postscript PDF
An Experiment to Investigate the Usefulness of Automated Decision Procedures for Linear Arithmetic when Reasoning about Real-Time Systems
Jeremy Jacob
December 1998
Technical Report No. 98-31 gzipped postscript PDF
Programmatic Testing of the Standard Template Library Containers
Jason McDonald, Daniel Hoffman and Paul Strooper
December 1998
Back to top
1999 Technical Reports
Technical Report No. 99-01 gzipped postscript PDFMulti-threading in an Interactive Theorem Prover
P. Cook and P.J.Robinson
October 1999.
Technical Report No. 99-02 gzipped postscript PDF
Software Requirements Specification for TinMan - version 1.0
L Murray
January 1999.
Technical Report No. 99-03 gzipped postscript PDF
Qu-Prolog 4.3 Reference Manual
P.J.Robinson and R.A.Hagen
November 1999.
Technical Report No. 99-04 gzipped postscript PDF
Platform Independent Graphical User Interface Design
Andrew Hussey and David Carrington
January 1999.
Technical Report No. 99-05 gzipped postscript PDF
Patterns for safety and usability in human-computer interfaces
Andrew Hussey
February 1999.
Technical Report No. 99-06 gzipped postscript PDF
Modelling Discrete Behaviour in a Continuous-Time Formalism
C. J. Fidge
March 1999.
Technical Report No. 99-07 gzipped postscript PDF
TinMan - A Test Derivation and Management Tool for Specification-based Class Testing
L Murray, D Carrington, I MacColl and P Strooper
February 1999.
Technical Report No. 99-09 gzipped postscript PDF
Formal Object-Oriented User-Interface Design
Andrew Hussey
January 1999.
Technical Report No. 99-10 gzipped postscript PDF
Towards Real-Time Object-Z
Graeme Smith and Ian Hayes
February 1999.
Technical Report No. 99-11 gzipped postscript PDF
Specification-based Retrieval Strategies for Module Reuse
D Hemer and P Lindsay
July 1999.
Technical Report No. 99-12 gzipped postscript PDF
A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics
Karl Lermer
June 1999.
Also in Proc.5th International AMAST Workshop on Real-Time and Probabilistic Systems (ARTS'99), Springer-Verlag Lecture Notes in Computer Science 1601, May 1999.
Technical Report No. 99-13 gzipped postscript PDF
Safety Analysis of the Druide User-Interface
Andrew Hussey
March 1999.
Technical Report No. 99-14 gzipped postscript PDF
Simulating Distributed Clock Synchronisation
Ben Hall
March 1999.
Technical Report No. 99-15 gzipped postscript PDF
Using Patterns in Model-based Design
Andrew Hussey and David Carrington
March 1999.
Technical Report No. 99-16 gzipped postscript PDF
Extending the Test Template Framework for specification-based testing of interactive systems
Ian MacColl and David Carrington
December 1999.
Technical Report No. 99-17 gzipped postscript PDF
Specifying interactive systems in Object-Z and CSP
Ian MacColl and David Carrington
December 1999.
Technical Report No. 99-20 gzipped postscript PDF
Some elements of Z specification style: structuring techniques
Anthony MacDonald and David Carrington
March 1999.
Technical Report No. 99-21 gzipped postscript PDF
The Sum Reference Manual
Wendy Johnston and Luke Wildman
November 1999.
Technical Report No. 99-22 gzipped postscript PDF
The Standard Cogito Theories
Wendy Johnston
November 1999.
Technical Report No. 99-23 gzipped postscript PDF
Patterns for Designing Safety-Critical Interactive Systems
Andrew Hussey and Michael Mahemoff
June 1999.
Technical Report No. 99-24 gzipped postscript PDF
An Incremental LR Parse Strategy for Language-Based Editors
P. Cook and J. Welsh
December 1999.
Technical Report No. 99-25 gzipped postscript PDF
Refining Logic Programs using Types and Invariants
R. Colvin, I. Hayes and P. Strooper
November 1999.
Technical Report No. 99-26 gzipped postscript PDF
Requirements Engineering and Verification using Specification Animation
Daniel Hazel, Paul Strooper and Owen Traynor
June 1999.
Technical Report No. 99-27 gzipped postscript PDF
Computer-Aided Development of a Real-Time Program
Luke Wildman, Colin Fidge and David Carrington
March 2000.
Technical Report No. 99-28 gzipped postscript PDF
Modelling a Subclass of CMOS Circuits using a Process Algebra
Antonio Cerone and George J. Milne
August 1999.
Also in Proc. of the 6th Annual Australasian Conference of Parallel and Real-Time Systems (PART'99), pages 386-397, 1999, Springer-Verlag Singapore.
Technical Report No. 99-29 gzipped postscript PDF
Real-time specification and reasoning using maximal intervals
C.J. Fidge, I.J. Hayes, B.P. Mahony and A.K. Wabenhorst
September 1999.
Technical Report No. 99-30 gzipped postscript PDF
A Survey of International Safety Standards
Axel Wabenhorst and Brenton Atchison
November 1999.
Technical Report No. 99-31 gzipped postscript PDF
A Case Study in Software Safety Assurance Using Formal Methods
Brenton Atchison, Peter Lindsay and David Tombs
November 1999.
Technical Report No. 99-32 gzipped postscript PDF
Semantic Characterisation of Dead Control-Flow Paths
Ian Hayes, Colin Fidge and Karl Lermer
November 2000. Version 2.0
Technical Report No. 99-33 gzipped postscript PDF
A Methodology for the Formal Analysis of Asynchronous Micropipelines
Antonio Cerone and George J. Milne
October 1999.
Technical Report No. 99-35 gzipped postscript PDF
Stepwise Development from Ideal Specifications
Graeme Smith
November 1999.
Technical Report No. 99-36 gzipped postscript PDF
Induction in the Timed Interval Calculus (Version 1.2)
Axel Wabenhorst
September 2002.
Technical Report No. 99-38 gzipped postscript PDF
Development of a Cryptographic Protocol by Stepwise Refinement Using Cogito Methodology:Part 1
Wendy Johnston
January 2000.
Technical Report No. 99-39 gzipped postscript PDF
Modelling Distributed Clock Synchronisation Using a Graphical Simulation Tool
Nathan Marchesi
December 1999.
Also in Proc. 8th International Conference on Algebraic Methodology And Software Technology (AMAST 2000), May 2000. Springer-Verlag.
Technical Report No. 99-41 gzipped postscript PDF
Multi-Threading and Message Communication in Qu-Prolog
K.Clark, P.J.Robinson and R.A.Hagen
December 1999.
Technical Report No. 99-42 gzipped postscript PDF
Improving Safety Management in Defence Acquisition
Brenton Atchison, Peter Lindsay and Tony Cant
December 1999. Partially funded from DefSafe project
Technical Report No. 99-43 gzipped postscript PDF
Persistence in the UQ* environment
Anthony MacDonald and Jim Welsh
December 1999.
Technical Report No. 99-44 gzipped postscript PDF
Designing a user-interface for relational documents
Anthony MacDonald, David Carrington, Phil Cook, Mark Toleman and Jim Welsh
December 1999.
Technical Report No. 99-45 gzipped postscript PDF
Environment description language for UQ*
Mark Toleman, David Carrington, Phil Cook, Anthony MacDonald and Jim Welsh
December 1999.
Technical Report No. 99-46 gzipped postscript PDF
A Process for Derivation and Quantification of Safety Requirements for Components of Complex Systems
Peter Lindsay, John McDermid and David Tombs
December 1999.
Technical Report No. 99-47 gzipped postscript PDF
Visualization of Formal Specifications
Soon-Kyeong Kim and David Carrington
December 1999.
Back to top