Abstract is missing.
- An International Survey of Industrial Applications of Formal MethodsDan Craigen, Susan L. Gerhart, Ted Ralston. 1-5
- Putting Numbers into the Mathematical ToolkitSamuel H. Valentine. 9-36
- Towards Libraries for ZIan J. Hayes, Luke Wildman. 37-51
- Plain Guide to the Z Base StandardJ. E. Nicholls. 52-61
- Reuse and Adaptation of Z SpecificationsKevin Lano, Howard P. Haughton. 62-90
- Reqirements for Defence Standard 00-55Andrew Bradley. 93-94
- Formal Specification and Development of Control System Input/OutputJonathan Jacky. 95-108
- Preliminary Experience Using Z to Specify a Safety-Critical SystemJohn C. Knight, Darrell M. Kienzle. 109-118
- Using Diagrams to Give a Formal Specification of Timing Constraints in ZAndrew Coombes, John A. McDermid. 119-130
- Formal Methods in the Specification of Real-Time, Safety-Critical Control SystemsAlastair R. Ruddle. 131-146
- Introducing Hyper-Z - A New Approach to Object Orientation in ZIan Maung, John Howse. 149-165
- From Object-Z to C++: A Structural MappingG.-H. Bagherzadeh Rafsanjani, S. J. Colwill. 166-179
- Deriving Tests for Objects Specified in ZElspeth Cusack, Clazien D. Wezeman. 180-195
- Using Z in Communications EngineeringElspeth Cusack. 196-202
- Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems ProfessionalsPaul A. Swatman. 205-239
- Practical Experiences of Z and SSADMChristine Draper. 240-251
- Support for Using ZRosalind Barden, Susan Stepney. 255-280
- Cleanroom and ZGlyn Normington. 281-293
- Animating Z Specifications in SQL*Forms 3.0Matthew Love. 294-306
- Select Z BibliographyJonathan P. Bowen. 309-341
- Comp.specification.z and Z FORUM Frequently Asked QuestionsJonathan P. Bowen. 342-347