8. Z User Workshop 1994: Cambridge, UK

• Robert P. Worden: Fermenting and Distilling. 1-6

Applications

• Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance: The Formal Specification in Z of Defence Standard 00-56. 9-28
• Peter Mataga, Pamela Zave: Formal Specification of Telephone Features. 29-50
• David A. Carrington, Phil Stocks: A Tale of Two Paradigms: Formal Methods and Software Testing. 51-68

Education

• David Garlan: Integrating Formal Methods into a Professional Master of Software Engineering Program. 71-85

Object-Orientation I

• Graeme Smith: An Object-Oriented Development Framework for Z. 89-107
• Clazien D. Wezeman, Anthony J. Judge: Z for Managed Objects. 108-119
• Anthony Hall: Specifying and Interpreting Class Hierarchies in Z. 120-138

Semantics

• Jonathan P. Bowen, Michael J. C. Gordon: Z and HOL. 141-167
• Peter Baumann: Z and Natural Semantics. 168-184
• Peter T. Breuer, Jonathan P. Bowen: Towards Correct Executable Semantics for Z. 185-209

Methods

• Jon G. Hall, John A. McDermid: Towards a Z Method: Axiomatic Specification in Z. 213-229
• Fiona Polack, Keith Mander: Software Quality Assurance Using the SAZ Method. 230-249
• Antoni Diller, Rosemary Docherty: Z and Abstract Machine Notation: A Comparison. 250-263

Concurrency

• Leslie Lamport: TLZ. 267-268
• Andy Evans: Visualising Concurrent Z Specifications. 269-281
• Marcin Engel: Specifying Real-Time Systems with Z and the Duration Calculus. 282-294

Object-Orientation II

• Daniel K. C. Chan, Philip W. Trinder: An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z. 297-315
• Jonathan Hammond: Producing Z Specifications from Object-Oriented Analysis. 316-336
• Wilhelm Hasselbring: Animation of Object-Z Specifications with a Set-Oriented Prototyping Language. 337-356

Appendices

• Jonathan P. Bowen: Select Z Bibliography. 359-396
• Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. 397-403