7. Z User Workshop 1992: London, UK

• Dan Craigen, Susan L. Gerhart, Ted Ralston: An International Survey of Industrial Applications of Formal Methods. 1-5

Language Issues and Reuse

• Samuel H. Valentine: Putting Numbers into the Mathematical Toolkit. 9-36
• Ian J. Hayes, Luke Wildman: Towards Libraries for Z. 37-51
• J. E. Nicholls: Plain Guide to the Z Base Standard. 52-61
• Kevin Lano, Howard P. Haughton: Reuse and Adaptation of Z Specifications. 62-90

Safety-Critical Systems and Timing

• Andrew Bradley: Reqirements for Defence Standard 00-55. 93-94
• Jonathan Jacky: Formal Specification and Development of Control System Input/Output. 95-108
• John C. Knight, Darrell M. Kienzle: Preliminary Experience Using Z to Specify a Safety-Critical System. 109-118
• Andrew Coombes, John A. McDermid: Using Diagrams to Give a Formal Specification of Timing Constraints in Z. 119-130
• Alastair R. Ruddle: Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems. 131-146

Object-Oriented Systems

• Ian Maung, John Howse: Introducing Hyper-Z - A New Approach to Object Orientation in Z. 149-165
• G.-H. Bagherzadeh Rafsanjani, S. J. Colwill: From Object-Z to C++: A Structural Mapping. 166-179
• Elspeth Cusack, Clazien D. Wezeman: Deriving Tests for Objects Specified in Z. 180-195
• Elspeth Cusack: Using Z in Communications Engineering. 196-202

Information Systems

• Paul A. Swatman: Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals. 205-239
• Christine Draper: Practical Experiences of Z and SSADM. 240-251

Methods, Quality and Animation

• Rosalind Barden, Susan Stepney: Support for Using Z. 255-280
• Glyn Normington: Cleanroom and Z. 281-293
• Matthew Love: Animating Z Specifications in SQL*Forms 3.0. 294-306

Appendices

• Jonathan P. Bowen: Select Z Bibliography. 309-341
• Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. 342-347