author : J. Anthony Hall

Contents

• Robert Worden.

Fermenting and Distilling

• Jim Woodcock, Paul H. B. Gardiner, J.R. Hulance.

The Formal Specification in Z of Defence Standard 00-56

• Peter Mataga, Pamela Zave.

Formal Specification of Telephone Features

• David Carrington, Phil Stocks.

A Tale of Two Paradigms: Formal Methods and Software Testing

• David Garlan.

Integrating Formal Methods into a Professional Master of Software Engineering Program

• Graeme Smith.

An Object-Oriented Development Framework for Z

• Clazien Wezeman, Tony J. Judge.

Z for Managed Objects

• J. Anthony Hall.

Specifying and Interpreting Class Hierarchies in Z

• Jonathan P. Bowen, Mike J. C. Gordon.

Z and HOL

• Peter Baumann.

Z and Natural Semantics

• Peter T. Breuer, Jonathan P. Bowen.

Towards Correct Executable Semantics for Z

• Jon G. Hall, John A. McDermid.

Towards a Z Method: Axiomatic Specifications in Z

• Fiona Polack, Keith C. Mander.

Software Quality Assurance Using the SAZ Method

• Antoni Diller, Rosemary Docherty.

Z and Abstract Machine Notation: A Comparison

• Leslie Lamport.

TLZ (abstract)

• Andy S. Evans.

Visualising Concurrent Z Specifications

• Marcin Engel.

Specifying Real-Time Systems with Z and the Duration Calculus

• Daniel K. C. Chan, Philip W. Trinder.

An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z

• Jonathan Hammond.

Producing Z Specifications from Object-Oriented Analysis

• W. Hasselbring.

Animation of Object-Z Specifications with a Set-Oriented Prototyping Language