Books

Short works

Books : reviews

John E. Nicholls.
4th Z User Workshop: Oxford 1989.
Springer. 1990

(read but not reviewed)

John E. Nicholls.
5th Z User Workshop: Oxford 1990.
Springer. 1991

(read but not reviewed)

John E. Nicholls, ed.
6th Z User Workshop: York 1991.
Springer. 1992

(read but not reviewed)

Contents

Alf Smith. On Recursive Free Types in Z. 1992
Rob D. Arthan. On Free Type Definitions in Z. 1992
Antoni Diller. Z and Hoare Logics. 1992
Jim Woodcock, Stephen M. Brien. W: A Logic for Z. 1992
Rosalind Barden, Susan Stepney, David Cooper. The Use of Z. 1992
full paper
Paul A. Swatman, Danielle Fowler, C. Y. Michael Gan. Extending the Useful Application Domain for Formal Methods. 1992
Domains of Application for Formal Methods. 1992
Samuel H. Valentine. Z--, an Executable Subset of Z. 1992
Michael Harrison. Engineering Human-Error Tolerant Software. 1992
(invited talk)
Pamela Zave, Michael Jackson. Techniques for Partial Specification and Specification of Switching Systems. 1992
(invited talk)
Mark Saaltink. Z and Eves. 1992
(invited talk)
Dave Neilson, Divya Prasad. zedB: A Proof Tool for Z Built on B. 1992
Roberto S. M. de Barros, David J. Harper. A Method for the Specification of Relational Database Applications. 1992
Fiona Polack, Mark Whiston, Peter Hitchcock. Structured Analysis - A Draft Method for Writing Z Specifications. 1992
David Duke. Enhancing the Structure of Z Specifications. 1992
David Carrington. ZOOM Workshop Report. 1992

Jonathan P. Bowen, John E. Nicholls, eds.
7th Z User Workshop: London 1992.
Springer. 1993

(read but not reviewed)

Contents

Dan Craigen, Susan Gerhart, Ted Ralston. An International Survey of Industrial Applications of Formal Methods. 1993
(invited talk)
Samuel H. Valentine. Putting Numbers into the Mathematical Toolkit. 1993
Ian J. Hayes, Luke Wildman. Towards Libraries for Z. 1993
John E. Nicholls. Plain Guide to the Z Base Standard. 1993
Kevin C. Lano, Howard Haughton. Reuse and Adaptation of Z Specifications. 1993
Andrew Bradley. Requirements for Defence Standard 00-55. 1993
(invited talk: abstract)
Jonathan Jacky. Formal Specification and Development of Control System Input/Output. 1993
John C. Knight, Darrell M. Kienzle. Preliminary Experience Using Z to Specify a Safety-Critical System. 1993
Andrew C. Coombes, John A. McDermid. Using Diagrams to Give a Formal Specification of Timing Constraints in Z. 1993
Alastair R. Ruddle. Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems. 1993
I. Maung, J. R. Howse. Introducing Hyper-Z -- A New Approach to Object-Orientation in Z. 1993
G. Hossein Bagherzadeh Rafsanjani, S. J. Colwill. From Object-Z to C++: A Structural Mapping. 1993
Elspeth Cusack, Clazien Wezeman. Deriving Tests for Objects Specified in Z. 1993
Elspeth Cusack. Using Z in Communications Engineering. 1993
(invited talk)
Paul A. Swatman. Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals. 1993
Christine Draper. Practical Experiences of Z and SSADM. 1993
Rosalind Barden, Susan Stepney. Support for using Z. 1993
full paper
Glyn Normington. Cleanroom and Z. 1993
(invited talk)
Matthew Love. Animating Z Specifications in SQL*Forms3.0. 1993