7. Z User Workshop 1992: London, UK
Jonathan P. Bowen, J. E. Nicholls (Eds.): Z User Workshop, London, UK, 14-15 December 1992, Proceedings. Springer 1992 Workshops in Computing ISBN 3-540-19818-0- 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
- J. E. Nicholls: Plain Guide to the Z Base Standard. 52-61
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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2014-07-12T195749 by the dblp team