Browse

ftp://ftp.cs.uq.oz.au (161)

	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0249.ps.Z, 19921106 KEY CENTRE FOR SOFTWARE TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland, 4072. Australia. TECHNICAL REPORT No. 249 What does the environment look like Setting the Scene for Interactive Models of Human Memory Simon Dennis Janet Wiles Michael S. Humphreys November, 1992 1
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0217.ps.Z, 19921120 An optimal algorithm for generating minimal perfect hash functions Zbigniew J. Czech Institute of Computer Science Silesia University of Technology 44{100 Gliwice Poland George Havas Department of Computer Science Key Centre for Software Technology University of Queensland St. Lucia, Queensland 4072
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0241.ps.Z, 19921127 Proceedings of the First International Workshop on PEIRCE: A Conceptual Graphs Workbench Gerard Ellis Robert Levinson (Eds) Las Cruces, New Mexico, July 10, 1992 Contents 1 The Birth of PEIRCE: A Conceptual Graphs Workbench 6 1.1 Parts of PEIRCE : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0252.ps.Z, 19930208 Integrating Learning into Models of Human Memory: The Hebbian Recurrent Network Simon Dennis Department of Computer Science University of Queensland Janet Wiles Departments of Computer Science and Psychology University of Queensland January 29, 1993 1 Contents 1 Introduction 4 1.1 Interactive Issues : :
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0258.ps.Z, 19930316 Parallel algorithms for finding a suboptimal fundamental-cycle set in a graph Zbigniew J. Czechy Marek Konopkaz Institute of Computer Science, Silesia University of Technology Pstrowskiego 16, 44-100 Gliwice, Poland E-mail: fzjc,mkonopkag@gleto3.gliwice.edu.pl Bohdan S. Majewski Department of Computer
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/SpecCons.ps.Z, 19930716 Adding Specification Constructors to the Refinement Calculus Nigel Ward Computer Science Department, University of Queensland, Queensland 4072, Australia
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/boilerdesign.ps.Z, 19930818 The Generic Problem Competition: A Whole System Specification of the Boiler System Colin Millerchip Brendan Mahony Ian Hayes Department of Computer Science University of Queensland St. Lucia 4072 Australia June 23, 1993
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0255.ps.Z, 19930826 Test Template Framework: A specification-based testing case study Phil Stocks David Carrington Key Centre for Software Technology The University of Queensland Queensland 4072, Australia email: phil j davec@cs.uq.oz.au
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0243.ps.Z, 19930826 Test Templates: A Specification-based Testing Framework P. A. Stocks D. A. Carrington August 26, 1993
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0257.ps.Z, 19931117 Graph theoretic obstacles to perfect hashing George Havas and Bohdan S. Majewskiy Department of Computer Science Key Centre for Software Technology The University of Queensland Queensland 4072, Australia
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0226.ps.Z, 19931127 KEY CENTRE FOR SOFTWARE TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 226 Asynchronous Remote Procedure Calls Paul Dale and Brian Hicks May 1992 Asynchronous Remote Procedure Calls Paul Dale and Brian Hicks Department of Computer
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0284.ps.Z, 19931128 An Animated Study of Learning Dynamics in the 14-2-14 Encoder Paul Bakker & Janet Wiles Depts. of Computer Science & Psychology The University of Queensland, QLD 4072 Australia email: bakker@cs.uq.oz.au / janetw@cs.uq.oz.au
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0278.ps.gz, 19940221 Key Centre For Software Technology Department Of Computer Science The University Of Queensland Queensland 4072 Australia Technical Report Nr 278 Federating Propositional Expert Systems Nirad Sharma Robert Colomb August, 1993 An extended abstract of this paper appears in the Proceedings of the Sixth
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0286.ps.Z, 19940225 A Formal Specification of a Basic ODP-based Type Manager Wayne Brookes Jadwiga Indulska email: f brookes , jaga g @cs.uq.oz.au CRC for Distributed Systems Technology Department of Computer Science The University of Queensland Brisbane Qld 4072 Australia
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0285.ps.Z, 19940225 A Type Management System for Open Distributed Processing Wayne Brookes Jadwiga Indulska email: f brookes , jaga g @cs.uq.oz.au CRC for Distributed Systems Technology Department of Computer Science The University of Queensland Brisbane Qld 4072 Australia
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0167.ps.Z, 19940303 KEY CENTRE FOR SOFTWARE TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE UNIVERSITY OF QUEENSLAND St. Lucia Queensland Australia 4067 TECHNICAL REPORT No. 167 Specifying Physical Limitations A case study of an oscilloscope Ian Hayes July, 1990 (revised 1993) Specifying Physical Limitations: A Case Study of an
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-21.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-21 Anthony MacDonald and David Carrington Synthesising Designs from Formal Specifications: A Case Study November
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr92-2.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 92-2 A.S.K. Cheng and R.A. Paterson An Implementation for a Higher Level Logic Programming Language February 1992
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-20.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-20 Peter Lindsay Reasoning about Z specifications: a VDM perspective October 1993 Reasoning about Z
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-14.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-14 Wendy Johnston and Gordon Rose Guidelines for the Manual Conversion of Object-Z to C++ September 1993
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr190.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 190 A.S.K. Cheng, P.J. Robinson and J. Staples Higher Level Meta Programming in Qu-Prolog 3.0 October 1990 Higher
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-5.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-5 Jian Chen and Jun Han A Review of EVES May 1993 A Review of EVES Jian Chen and Jun Han Software Verification
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-3.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-3 Kelvin J. Ross and Peter A. Lindsay Maintaining Consistency Under Changes to Formal Specifications: An Extended
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-13.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-13 David Carrington and David Duke and Ian Hayes and Jim Welsh Deriving Modular Designs from Formal
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-9.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-9 David Hemer, Peter Lindsay and Rex Matthews Formal Specification of an Abstract Syntax for Fragments November
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-15.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-15 Colin Fidge Fundamentals of Distributed System Observation (version 1.1) November 1993 Fundamentals of
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-6.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-6 David Carrington and David Duke and Ian Hayes and Jim Welsh Deriving Modular Designs from Formal Specifications
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-04.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-4 David Carrington and Phil Stocks A tale of two paradigms: Formal methods and software testing Feb 1994 A tale of
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-02.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-2 Jim Welsh and Yun Yang Integration of semantic tools into document editors 1994 Integration of semantic tools
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr92-8.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 92-8 A.S.K. Cheng, J. Han, J. Welsh and A. Wood Providing User-Oriented Support for Software Development by Formal
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-16.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-16 Colin Fidge Proof Obligations for Real-Time Refinement November 1993 Proof Obligations for Real-Time Refinement
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-18.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-18 Peter J. Robinson and Anthony Cheng Qu-Prolog 3.2 Reference Manual October 1993 Qu-Prolog 3.2 Reference Manual
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-7.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-7 A.S.K. Cheng, J. Han, J. Welsh and A. Wood Incorporating Constructive Tools into a Generic Language-Based Editor
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-10.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-10 C. Fidge and P. Kearney and J. Staples Formally Verified Real-Time Software: an Integrated Development Strategy
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-11.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-11 David Carrington VDM and the Refinement Calculus: a comparison of two systematic design methods December 1993
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-23.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-23 Jim Welsh and Jun Han Software Documents: Concepts and Tools November 1993 Software Documents: Concepts and
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-8.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-8 Keith Harwood, Peter Lindsay and Rex Matthews An Approach to Constructing Verified Software September 1993 An
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-4.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-4 Peter J. Robinson and K. Whitwell The demonstration interactive theorem prover Demo3.3 June 1993 The
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-17.ps.Z, 19940316 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-17 Jun Han and Jim Welsh Methodology Modelling: Combining Software Processes with Software Products August 1993
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr91-1.ps.Z, 19940406 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 91-1 Roger Duke, Paul King, Gordon Rose and Graeme Smith The Object-Z Specification Language: Version 1 April 1991
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/287.ps.Z, 19940421 A Theoretical Approach to The Understanding of Relational Schema Evolution C.A. Ewald and M.E. Orlowska
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0283.ps.Z, 19940427 Optimal Distributed Algorithms for Constructing a Depth-First-Search Tree S. A. M. Makki and George Havas Key Centre for Software Technology Department of Computer Science University of Queensland Queensland 4072 Australia sam@cs.uq.oz.au havas@cs.uq.oz.au
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-03.ps.Z, 19940503 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-3 Peter Lindsay and Erik van Keulen Case studies in the verification of specifications in VDM and Z March 1994
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TransLaws.ps, 19940510 Using Transformation Rules to Interpret Nondeterministic Expressions Nigel Ward May 9, 1994
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-24.ps.Z, 19940510 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-24 Colin Fidge A Comparative Introduction to CSP, CCS and LOTOS April 1994 A Comparative Introduction to CSP, CCS
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-12.ps.Z, 19940531 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-12 R. G. Nickson and L. J. Groves Metavariables and Conditional Refinements in the Refinement Calculus May 1994
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr92-6.ps.Z, 19940602 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 92-6 Mark Utting and Peter Kearney Pipeline Specification of a MIPS R3000 CPU April 1994 Pipeline Specification of a
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-25.ps.Z, 19940607 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-25 Mark Utting Instruction Level Specification of a MIPS R3000 CPU April 1994 Instruction Level Specification of a
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-13.ps.Z, 19940607 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-13 Peter Kearney and Mark Utting. A Layered Real-Time Specification of a RISC Processor. June 1994 A Layered
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr92-10.ps.Z, 19940607 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 92-10 Peter Kearney, Mark Utting and Keith Whitwell Real Time Behaviour of a RISC processor: Specification and
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr93-19.ps.Z, 19940607 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 93-19 Mark Utting and Keith Whitwell Ergo User Manual October 1993 Ergo User Manual An Interactive Theorem Prover For
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0296.ps.Z, 19940615 The complexity of greatest common divisor computations Bohdan S. Majewski and George Havas Key Centre for Software Technology Department of Computer Science The University of Queensland Queensland 4072, Australia
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/rep290.ps.Z, 19940622 1 Open Distributed Systems: Economic-driven Issues Technical Report 290, Department of Computer Science, The University of Queensland, January 1994. Zoran Milosevic
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-08.ps.Z, 19940627 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-8 David Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson and Jim Welsh A Review of Existing Refinement Tools
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr92-5.ps.Z, 19940627 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 92-5 Mark Utting and Peter Kearney Specification Issues for Real-Time Behaviour of RISC Processors October 1992
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-11.ps.Z, 19940627 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-11 Colin Fidge, Peter Kearney and Mark Utting Formal Specification and Interactive Proof of a Simple Real-Time
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/languageoz.ps, 19940628 An Object-Oriented Approach to the Semantics of Programming Languages Jin Song Dong Roger Duke Gordon Rose Software Verification Research Centre Department of Computer Science University of Queensland, Australia jason@cs.uq.oz.au rduke@cs.uq.oz.au rose@cs.uq.oz.au
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-09.ps.Z, 19940718 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-9 John Hosking, Stephen Fenwick, Rick Mugridge and John Grundy Cover Your Self With Skin March 1994 1 Cover Your
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-12.ps.Z, 19940718 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-12 Colin Fidge Adding Real Time to Formal Program Development June 1994 Adding Real Time to Formal Program
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/containment.ps, 19940718 The Geometry of Object Containment Jin Song Dong Roger Duke Software Verification Research Centre Department of Computer Science University of Queensland, Australia 4072 SVRC-TR94-171 jason@cs.uq.oz.au rduke@cs.uq.oz.au Keywords: formal specification, object containment, recursive structures
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/class-union.ps, 19940815 Class Union and Polymorphism Jin Song Dong Roger Duke Software Verification Research Centre Department of Computer Science University of Queensland, Australia jason@cs.uq.oz.au rduke@cs.uq.oz.au
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/trader.ps, 19940815 An Object-Oriented Approach to the Formal Specification of ODP Trader Jin Song Dong and Roger Duke Software Verification Research Centre, Department of Computer Science, University of Queensland (email: jason@cs.uq.oz.au, rduke@cs.uq.oz.au) An Object-Z formal specification of the ODP Trader is presented
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0307.ps.Z, 19940817 On the asymptotic behavior of fill-in Bohdan S. Majewski Department of Computer Science The University of Queensland Queensland 4072, Australia
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-22.ps.Z, 19940824 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-22 Erik van Keulen and Peter Lindsay Verification Case Studies in Mural August 1994 Verification case studies in
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-10.ps.Z, 19940824 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-10 Peter Lindsay On transferring VDM verification techniques to Z March 1994 On transferring VDM verification
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-18.ps.Z, 19940923 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-18 Anthony Bloesch Tableau Style Proof Systems for Various Many-Valued Logics April 1994 Tableau Style Proof
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-38.ps.Z, 19940923 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-38 Ian Hayes Supporting module reuse in refinement September 1994 Supporting module reuse in refinement Ian J.
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-07.ps.Z, 19940923 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-7 Kelvin Ross and Peter Lindsay A Precise Examination of the Behaviour of Merlin Process Models September 1994 A
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/julie_project.ps.gz, 19941111 Aspects of Graph Theory and Algorithms Julie Lawrence February - November, 1994 Contents I Graph Theory 1 1 Graph Theory 2 1.1 Common Graph Algorithms : : : : : : : : : : : : : : : : : : : : : 3 1.1.1 Depth First Search : : : : : : : : : : : : : : : : : : : : : : 3 1.1.2 Breadth First Search : : : : : :
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/hocking.ps.gz, 19941111 Intelligibility - Improving the Performance of a Speech Synthesiser Stephen Hocking November 7, 1994
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0176.ps.Z, 19941115 Multi-sets and multi-relations in Z with an application to a bill-of-materials system Technical Report UQCS-1761 Ian Hayes Department of Computer Science, University of Queensland, St. Lucia, 4072 Australia July, 1990 (printed November 15, 1994) 1Chapter 1 copyright c 1989 I. J. Hayes, 1990 British
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-48.ps.Z, 19941208 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-48 Graeme Smith A Logic for Object-Z December 1994 A Logic for Object-Z Graeme Smith Software Verification
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-45.ps.Z, 19941208 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-45 Roger Duke, Gordon Rose and Graeme Smith Object-Z: a Specification Language Advocated for the Description of
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/trlist.ps.Z, 19941208 ocitetr92-6 ocitetr92-6 ocitetr92-6 ocitetr92-5 ocitetr94-11 ocitetr92-10 ocitetr93-19 ocitetr94-8 ocitetr94-12 ocitetr94-9 ocitetr94-10 ocitetr94-22 ocitetr94-7 ocitetr94-38 ocitetr94-18 ocitetr94-50 ocitetr94-45 ocitetr94-48 References J. Welsh A.S.K. Cheng, J. Han and A. Wood. Incorporating
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0302.ps.gz, 19950222 Extended gcd algorithms George Havas B.S. Majewskiy K.R. Matthewsz
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0295.ps.gz, 19950222 Hermite normal form computation for integer matrices George Havas and Bohdan S. Majewskiy Key Centre for Software Technology Department of Computer Science The University of Queensland Queensland 4072, Australia
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/tr92-11.ps.Z, 19950307 Modelling Object Identity Roger Duke Gordon Rose Software Verification Research Centre Department of Computer Science University of Queensland
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0324.ps.gz, 19950330 A solution to the extended gcd problem Bohdan S. Majewski and George Havasy Department of Computer Science University of Queensland Queensland 4072 Australia
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0303.ps.gz, 19950428 Reconstructing a distributed depth-first-search tree after network topology changes S. A. M. Makki and George Havas Key Centre for Software Technology Department of Computer Science University of Queensland Queensland 4072 Australia sam@cs.uq.oz.au havas@cs.uq.oz.au
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0325.ps.gz, 19950503 Extended gcd calculation George Havas and Bohdan S. Majewskiy Key Centre for Software Technology Department of Computer Science The University of Queensland Queensland 4072, Australia
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0315.ps.gz, 19950619 DIMACS Series in Discrete Mathematics and Theoretical Computer Science Volume 00, 0000 Groups of deficiency zero GEORGE HAVAS, M.F. NEWMAN AND E.A. O'BRIEN
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0328.ps.Z, 19950704 Using Binary Features in Texture Classification Guy Smith and Dennis Longstaffy June 28, 1995
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0277.ps.gz, 19950904 J. Symbolic Computation (1995) 11, 1{000 Integer matrix diagonalization GEORGE HAVAS AND BOHDAN S. MAJEWSKI Department of Computer Science, University of Queensland, Queensland 4072, Australia (Received ) We consider algorithms for computing the Smith normal form of integer matrices. A variety of
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0350.ps.gz, 19950904 A Hard Problem That is Almost Always Easy George Havas and B.S. Majewski Key Centre for Software Technology, Department of Computer Science, University of Queensland, Queensland 4072, Australia
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0242.ps.gz, 19950906 A Family of Perfect Hashing Methods Bohdan S. Majewski Nicholas C. Wormaldy George Havas z Zbigniew J. Czechx
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0352.ps.gz, 19951013 Department Of Computer Science The University Of Queensland Brisbane Queensland 4072 Australia Technical Report Nr 352 On Formalising and Reasoning with Contexts Nirad Sharma September, 1995 (This report is available at ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0352.ps.gz) On Formalising and
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/southeastern95.ps.gz, 19951110 Extended gcd calculation George Havas and Bohdan S. Majewskiy Key Centre for Software Technology Department of Computer Science The University of Queensland Queensland 4072, Australia
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-31.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 94-31 Using Units of Measurement in Formal Specifications Ian J. Hayes and Brendan P. Mahony 1994 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most SVRC
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-19.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-19 Structuring Z Specifications: Some Choices Anthony MacDonald David Carrington January 1995 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most SVRC
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-39.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 94-39 A Haskell implementation of Z data types Mark Utting December 1994 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most SVRC technical reports are
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-43.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 94-43 Requirements for a Program Refinement Engine David Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson and Jim Welsh July 1995 Phone: +61 7 365 1003 Fax:
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-38.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-38 A Semantic Foundation for Object Identity in Formal Specification Alena Griffiths and Gordon Rose September 1995 Phone: +61 7 365 1003 Fax: +61 7 365
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-24.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT 95-24 Code synthesis in Care Rex Matthews and Trudy Weibel October 1995 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most SVRC technical reports are available
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-26.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 94-26 Quartz: An Integrated Formal Development Method for Real-Time Software C. Fidge, P. Kearney and M. Utting September 1994 (Revised: April 1995) Phone: +61
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-47.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-47 Integrating Real-Time Scheduling Theory and Program Refinement C. Fidge, M. Utting, P. Kearney and I. Hayes November 1995 Phone: +61 7 3365 1003 Fax: +61
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-06.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 94-06 Expressing program developments from the Refinement Calculus in CARE Peter Lindsay March 1994 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most SVRC
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-40.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 94-40 Animating Z: Interactivity, Transparency and Equivalence Mark Utting December 1994 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most SVRC technical
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-36.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-36 Unifying wp and wlp Carroll Morgan and Annabelle McIver August 1995 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most SVRC technical reports are
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-46.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 94-46 Z Specification of the Production Cell Anthony MacDonald David Carrington October 1994 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most SVRC
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-39.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-39 An Extended Semantic Foundation For Object-Z Alena Griffiths October, 1995 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most SVRC technical reports
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-27.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 94-27 A Simple, Expressive Real-Time CCS Colin Fidge and John <=Zic December 1994 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most SVRC technical reports
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-14.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT 95-14 Concrete syntax for the Care fragment language David Hemer June 1995 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most SVRC technical reports are
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-29.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-29 Program Window Inference Ray Nickson and Ian Hayes July 1995 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most SVRC technical reports are available
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-42.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 94-42 Refining the Dependency Management System using the Refinement Calculus David Carrington and Nigel Ward March 1995 Phone: +61 7 365 1003 Fax: +61 7 365
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-44.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 94-44 Refinement in Ergo David Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson and Jim Welsh July 1995 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-30.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-30 Specification by Interface Separation I. J. Hayes and J. W. Sanders July 1995 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most SVRC technical reports
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-09.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-9 The Care method of verified software development Peter A. Lindsay June 1995 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most SVRC technical reports
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-46.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-46 Structured Presentation of Refinements and Proofs D. Carrington, I. Hayes, R. Nickson, G. Watson and J. Welsh November 1995 Phone: +61 7 3365 1003 Fax:
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-10.ps.Z, 19951130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-10 The datalogger case study in Care Peter A. Lindsay June 1995 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most SVRC technical reports are available
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-26.ps.Z, 19951214 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-26 A Logic for Object-Z (Additional Rules) Graeme Smith September 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC technical reports are
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-27.ps.Z, 19951214 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-27 Reasoning about Object-Z specifications Graeme Smith September 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC technical reports are
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-28.ps.Z, 19951219 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia Phone: +61 7 365 1003 Fax: +61 7 365 1533 TECHNICAL REPORT No. 95-28 Visualisation and Software Development: Analysing the requirements T. Jones, D. Carrington, W.Allison, L.
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-06.ps.Z, 19951219 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia Phone: +61 7 365 1003 Fax: +61 7 365 1533 TECHNICAL REPORT No. 95-06 Diagrammatic Presentation of Software Engineering Documents Tim Jones February 1995 Note: Most SVRC technical
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-37.ps.Z, 19951219 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia Phone: +61 7 365 1003 Fax: +61 7 365 1533 TECHNICAL REPORT No. 94-37 Relational Views for Program Comprehension Tim Jones, Warwick Allison, David Carrington June 1995 Note: Most
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-33.ps.Z, 19951222 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-33 Comparing two user-interface architectures: MVC and PAC Andrew Hussey and David Carrington Dec 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note:
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-45.ps.Z, 19951222 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-45 An Empirical Investigation of Language-Based Editing Paradigms Mark A. Toleman and Jim Welsh December 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-32.ps.Z, 19951222 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-32 Visualisation in a generic software development environment W. Allison, D. Carrington, T. Jones, L. Stewart-Zerba, G. Watson and J. Welsh December 1995
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-56.ps.Z, 19960102 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-56 The PRT User Manual Version 1.03 D. Carrington, I. Hayes, R. Nickson G. Watson and J. Welsh December 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-52.ps.Z, 19960105 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-52 The CARE toolset for developing verified programs from formal specifications David Hemer and Peter Lindsay December 1995 Phone: +61 7 3365 1003 Fax: +61
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-13.ps.Z, 19960109 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-13 Formal specification of Proof Obligation Generation in CARE David Hemer and Peter Lindsay December 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note:
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-44.ps.Z, 19960109 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-44 Formal Specification of an Abstract Syntax for the CARE Language David Hemer and Peter Lindsay October 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-31.ps.Z, 19960110 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-31 Using CARE to construct verified software in industry Peter Lindsay, David Hemer, Rex Matthews, Keith Harwood, Thies Arens, Frances Collis, Trudy Weibel
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-35.ps.Z, 19960111 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-35 Formalizing the Proposed Eiffel Kernel Library Standard Steven Atkinson September 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-28.ps.Z, 19960111 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 94-28 A Methodology for Behavioural Retrieval from Class Libraries Steven Atkinson Roger Duke September 1994 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note:
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-05.ps.Z, 19960111 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-05 Networks of Predicate Transformers Brendan P. Mahony February 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC technical reports are
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-04.ps.Z, 19960111 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-04 Calculating the Least Conjunctive Refinement Brendan P. Mahony February 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC technical
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-11.ps.Z, 19960111 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-11 A syntax for system specification that integrates VDM-SL and Z Peter A. Lindsay December 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-03.ps.Z, 19960112 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-03 Composing grammar transformations to construct a specification of a parser Luke Wildman and Ian Hayes January 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-08.ps.Z, 19960112 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-08 Models for Configuration Management of Refinement Calculus Developments Kelvin J. Ross April 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-55.ps.Z, 19960112 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-55 Formal Verification of Object-Z Specifications Graeme Smith December 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC technical reports
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-32.ps.Z, 19960115 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 94-32 Using the Refinement Calculus for Dataflow Processes Brendan P. Mahony October 1994 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC technical
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-33.ps.Z, 19960115 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 94-33 Frame based typing of predicate transformers Brendan P. Mahony December 1994 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC technical
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-15.ps.Z, 19960116 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-15 A Modular Extension to Z for Specification, Reasoning and Refinement Ed. Kazmierczak, Peter Kearney, Owen Traynor and Li Wang February 1995 Phone: +61 7
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-42.ps.Z, 19960117 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-42 A New Face for Ergo: Adding a User Interface to a Programmable Theorem Prover Ray Nickson and Mark Utting October 1995 Phone: +61 7 3365 1003 Fax: +61 7
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr96-01.ps.Z, 19960122 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 96-01 Specification Models Ian J. Hayes January 1996 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC technical reports are available via anonymous
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-41.ps.Z, 19960125 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-41 A Unifying Model for Retrieval from Reusable Software Libraries Steven Atkinson December 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr94-50.ps.Z, 19960130 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 94-50 A small language definition in Z Ian Hayes December 1994 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC technical reports are available via
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0360.ps.gz, 19960221 SYMMETRIC PRESENTATIONS AND ORTHOGONAL GROUPS C.M. Campbell, George Havas, S.A. Linton and E.F. Robertson
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr96-02.ps.Z, 19960227 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 96-02 Using Object-Z to Specify Object-Oriented Programming Languages Jin Song Dong and Roger Duke February 1996 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr96-03.ps.Z, 19960502 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 96-03 ClassBench: A Methodology and Framework for Automated Class Testing Daniel Hoffman and Paul Strooper April 1996 Phone: +61 7 3365 1003 Fax: +61 7 3365
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr96-05.ps.Z, 19960510 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 96-05 An Experiment in Specification-based Testing Ian MacColl David Carrington Philip Stocks May 1996 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr96-04.ps.Z, 19960521 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 96-04 Guiding Object-Oriented Design Anthony MacDonald and David Carrington May 1996 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC technical
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr96-07.ps.Z, 19960524 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 96-07 A formal basis for modelling process and task management aspects of user interface design Peter A. Lindsay May 1996 Phone: +61 7 3365 1003 Fax: +61 7
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr96-06.ps.Z, 19960619 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 96-06 Using Object-Z to specify a web browser interface Andrew Hussey and David Carrington May 1996 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr96-11.ps.Z, 19960619 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 96-11 Coercing real-time refinement: A transmitter Ian J. Hayes Mark Utting June 1996 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC technical
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr96-13.ps.Z, 19960703 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 96-13 An industrial-strength method for the construction of formally verified software Peter A. Lindsay and David Hemer June 1996 Phone: +61 7 3365 1003 Fax:
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0376.ps.Z, 19960719 - 1 - CONCEPTUAL GRAPH REVISION H.T. Cao and P.N. Creasy Department of Computer Science University of Queensland Australia 4072 {tru, peter}@cs.uq.edu.au 18 July, 1996
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0364.ps.gz, 19960724 Department of Computer Science The University of Queensland Brisbane Queensland 4072 Australia Technical Report Nr 364 Towards an integrated characterisation of model-based diagnosis and configuration through circumscription policies Nirad Sharma Robert Colomb May, 1996 (This report is available at
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr96-14.ps.Z, 19960804 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 96-14 Modelling real-time multi-tasking systems with timed traces C. J. Fidge August 1996 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC technical
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr96-17.ps.Z, 19960813 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 96-17 Formal Methods Pilot Project Final Report CSC Australia and SVRC Pilot Project Team July 1996 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr96-15.ps.Z, 19960827 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 96-15 State-machine vs. trace modelling of real-time reactive systems C. J. Fidge August 1996 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0379.ps.Z, 19960829 - 1 - TOWARDS A MORE POWERFUL CONCEPTUAL GRAPH LANGUAGE H.T. Cao and P.N. Creasy Department of Computer Science University of Queensland Australia 4072 {tru, peter}@cs.uq.edu.au 16 August, 1996
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr96-22.ps.Z, 19960917 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 96-22 The Sum Environment in Ergo: A Tutorial A. Bloesch, E. Kazmierczak, M. Utting September 1996 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0383.ps.gz, 19961006 Department of Computer Science The University of Queensland Brisbane Queensland 4072 Australia Technical Report Nr 383 Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming Nirad Sharma Robert Colomb September, 1996 (This report is available at
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr96-24.ps.Z, 19961009 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 96-24 A Type Checker for Object-Z Wendy Johnston September 1996 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC technical reports are available via
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-49.ps.Z, 19961022 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-49 A Tool for Developing Correct Programs by Refinement D. Carrington, I. Hayes, R. Nickson G. Watson and J. Welsh October 1996 Phone: +61 7 3365 1003 Fax:
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-01.ps.Z, 19961028 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-1 An Action-Based Formal Model for Concurrent Real-Time Systems C. J. Fidge and A. J. Wellings September 1996 (Revision 1.1) Phone: +61 7 3365 1003 Fax: +61
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-48.ps.Z, 19961031 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-48 A Real-Time Refinement Calculus that Changes Only Time Mark Utting and Colin Fidge July 1996 (Revision 1.1) Phone: +61 7 3365 1003 Fax: +61 7 3365 1533
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr96-10.ps.Z, 19961216 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 TECHNICAL REPORT No. 96-10 Requirements for a generic, language-based diagram editor Tim Jones and Jim Welsh November 1996 Note: Most
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/SVRC/tr95-40.ps.Z, 19961216 SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 95-40 Real-Time Schedulability Tests for Preemptive Multitasking C. J. Fidge November 1996 (Revision 2) Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most
	ftp://ftp.cs.uq.oz.au/pub/TECHREPORTS/department/TR0361.ps.gz, 19971119 Contents 1 Introduction 1 2 Definitions 2 3 Edge Crossings @c 2 3.1 Implementation Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 4 Edge Bends @b 4 5 Symmetry @s 4 5.1 Motivation for this algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 5.2