author : John E. Nicholls

Books

• Z User Manual. 1989, with Mike A. McMorran
• 4th Z User Workshop. 1990
• 5th Z User Workshop. 1991
• 6th Z User Workshop. 1992
• 7th Z User Workshop. 1993, with Jonathan P. Bowen

Short works

• Domains of Application for Formal Methods. 1992. (In 6th Z User Workshop )
• Plain Guide to the Z Base Standard. 1993. (In 7th Z User Workshop )

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