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

@proceedings{DBLP:conf/zum/1992,
  editor    = {Jonathan P. Bowen and
               J. E. Nicholls},
  title     = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
  booktitle = {Z User Workshop},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1992},
  isbn      = {3-540-19818-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

Safety-Critical Systems and Timing

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

Object-Oriented Systems

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

Information Systems

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

Methods, Quality and Animation

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

Appendices

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