author : John E. Nicholls

Contents

• Alf Smith.

On Recursive Free Types in Z

• Rob D. Arthan.

On Free Type Definitions in Z

• Antoni Diller.

Z and Hoare Logics

• Jim Woodcock, Stephen M. Brien.

W: A Logic for Z

• Rosalind Barden, Susan Stepney, David Cooper.

The Use of Z

full paper

• Paul A. Swatman, Danielle Fowler, C. Y. Michael Gan.

Extending the Useful Application Domain for Formal Methods

• John E. Nicholls.

Domains of Application for Formal Methods

• Samuel H. Valentine.

Z--, an Executable Subset of Z

• Michael Harrison.

Engineering Human-Error Tolerant Software

(invited talk)

• Pamela Zave, Michael Jackson.

Techniques for Partial Specification and Specification of Switching Systems

(invited talk)

• Mark Saaltink.

Z and Eves

(invited talk)

• Dave Neilson, Divya Prasad.

zedB: A Proof Tool for Z Built on B

• Roberto S. M. de Barros, David J. Harper.

A Method for the Specification of Relational Database Applications

• Fiona Polack, Mark Whiston, Peter Hitchcock.

Structured Analysis - A Draft Method for Writing Z Specifications

• David Duke.

Enhancing the Structure of Z Specifications

• David Carrington.

ZOOM Workshop Report

Contents

• Dan Craigen, Susan Gerhart, Ted Ralston.

An International Survey of Industrial Applications of Formal Methods

(invited talk)

• Samuel H. Valentine.

Putting Numbers into the Mathematical Toolkit

• Ian J. Hayes, Luke Wildman.

Towards Libraries for Z

• John E. Nicholls.

Plain Guide to the Z Base Standard

• Kevin C. Lano, Howard Haughton.

Reuse and Adaptation of Z Specifications

• Andrew Bradley.

Requirements for Defence Standard 00-55

(invited talk: abstract)

• Jonathan Jacky.

Formal Specification and Development of Control System Input/Output

• John C. Knight, Darrell M. Kienzle.

Preliminary Experience Using Z to Specify a Safety-Critical System

• Andrew C. Coombes, John A. McDermid.

Using Diagrams to Give a Formal Specification of Timing Constraints in Z

• Alastair R. Ruddle.

Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems

• I. Maung, J. R. Howse.

Introducing Hyper-Z -- A New Approach to Object-Orientation in Z

• G. Hossein Bagherzadeh Rafsanjani, S. J. Colwill.

From Object-Z to C++: A Structural Mapping

• Elspeth Cusack, Clazien Wezeman.

Deriving Tests for Objects Specified in Z

• Elspeth Cusack.

Using Z in Communications Engineering

(invited talk)

• Paul A. Swatman.

Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals

• Christine Draper.

Practical Experiences of Z and SSADM

• Rosalind Barden, Susan Stepney.

Support for using Z

full paper

• Glyn Normington.

Cleanroom and Z

(invited talk)

• Matthew Love.

Animating Z Specifications in SQL*Forms3.0