7. Z User Workshop 1992: London, UK

Jonathan P. Bowen, J. E. Nicholls (Eds.): Z User Workshop, London, UK, 14-15 December 1992, Proceedings. Workshops in Computing Springer 1992, ISBN 3-540-19818-0 BibTeX

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

Language Issues and Reuse

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

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

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

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

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