Some of these papers are available in machine readable form from the author.
The enabling power of mathematics in sofrtware development. Produced as a working paper for the IEE President's Action Group: Working Group to champion issues in the Computer-based Systems Profession, September 1994.
Larch: Is this what you have been looking for?. A paper proposed for the Educational Issues session at the Z User Meeting in Reading in April 1997, but rejected by them.
Larch: Principles and Practice. Tutorial.
Making a formal model of the message translation interface. Outline of paper.
The Message Translation Interface: An Informal Description and a Formal Model. A formal model of a programming interface using the Abstract Machine Notation, with animation scripts.
Bill Pay Transactions: An Informal Introduction and a Formal Model. A formal model of a programming interface using the Abstract Machine Notation, with animation scripts.
Software engineering skills. A preliminary list for constructing a curriculum of software engineering education.
A sample e-business. An informal description of a sample business with a formal specification in the Abstract Machine Notation.
Why not use and executable specification language?.
Specifying existing interfaces. Discusses a problem of reverse engineering.
Using Z for specifying a user interface to an abstract data type. A Z specification of a simple bibliography management system.
Program design using Z and the guarded command language: a simple sort program.
Refinement tutorial: A storage manager. A Z specification with data and algorithm refinement.
Mail handling. A Z specification of the mail-handling functions of the post office.
New techniques of software development in CICS.
The BCS/IEE joint report on undergraduate curricula in software engineering: a personal view by a practising software engineer.
Z in CICS/ESA. An outline of a presentation of the use of Z.
The CICS application programming interface definition. A report on work done using Z to specify programning interfaces for transaction processing.
Six sigma quality software from formal specifications.
State box principles. An investigation using Z of the Cleanroom state boxes.
Black boxes and state boxes in Cleanroom software development.
Principles of Software Engineering. A presentation.
B Tutorial. Prepared for presentation at the 8th Z User Meeting, ZUM'94, 27th June, 1994, Saint John's College, Cambridge.
An Introduction to Z: Tutorial Notes.
Changes in Software and Systems: Requirements and Specifications. Outline presentation.
Bill Payment in Interactive Financial Services. Outline presentation.
Using formal models to understand interfaces. Outline presentation.
Data refinement in Z: a tutorial paper.
Last updated on 14 June 2007.