| Industrial Issues |
| Industrial Requirements for the Efficient Development of Reliable Embedded Systems / K. Grimm |
| Concurrency |
| How to Combine Z with a Process Algebra / C. Fischer |
| The Specification and Refinement of an Environmental Model / W.J. (Bill) Stoddart |
| Formal Derivation of Finite State Machines for Class Testing / L. Murray ; D. Carrington ; I. MacColl ; J. McDonald ; P. Strooper |
| Tools |
| Using B to Specify, Verify and Design Hardware Circuits / I.H. Sorensen |
| Z on the Web Using Java / J.P. Bowen ; D. Chippington |
| Visualizing Z Notation in HTML Documents / P. Ciancarini ; C. Mascolo ; F. Vitali |
| Z and HOL |
| On the Semantic Relation of Z and HOL / T. Santen |
| HOL-Z in the UniForM-Workbench - |
| A Case Study in Tool Integration for Z / C. Luth ; E.W. Karlsen ; Kolyang ; S. Westmeier ; B. Wolff |
| Safety-Critical and Real-Time Systems |
| Designing a Requirements Specification Language for Reactive Systems / N.G. Leveson |
| Analyzing a Real-Time Program with Z / J. Jacky |
| Semantic Theory |
| Recursive Definitions in Z / R.D. Arthan |
| A Logic for the Schema Calculus / M.C. Henson ; S. Reeves |
| Theory and Standards |
| Combining Specification Techniques for Processes, Data and Time / E.-R. Olderog (Invited Speaker) |
| Innovations in the Notation of Standard Z / I. Toyn |
| Reasoning and Consistency Issues |
| Comparing Extended Z with a Heterogeneous Notation for Reasoning about |
| Time and Space / R.F. Paige |
| Inconsistency and Undefinedness in Z - A Practical Guide / S.H. Valentine |
| Refinement |
| Compositional Specification of Controllers for Batch Process Operations / K. Lano ; P. Kan ; A. Sanchez |
| Testing Refinements by Refining Tests / J. Derrick ; E. Boiten |
| More Powerful Z Data Refinement: Pushing the State of the Art in |
| Industrial Refinement / S. Stepney ; D. Cooper ; J.C.P. Woodcock |
| Object Orientation |
| Network Topology and a Case Study in TCOZ / B. Mahony ; J.S. Dong |
| Object-Oriented Specification of Hybrid Systems Using UML and ZimOO / V. Friesen ; A. Nordwig ; M. Weber |
| Translating the OMT Dynamic Model into Object-Z / S. Dupuy ; Y. Ledru ; M. Chabre-Peccoud |
| Appendices |
| Select Z Bibliography |
| Comp.specification.z and Z FORUM Frequently Asked Questions |
| Author Index |
| Industrial Issues |
| Industrial Requirements for the Efficient Development of Reliable Embedded Systems / K. Grimm |
| Concurrency |
| How to Combine Z with a Process Algebra / C. Fischer |
| The Specification and Refinement of an Environmental Model / W.J. (Bill) Stoddart |
| Formal Derivation of Finite State Machines for Class Testing / L. Murray ; D. Carrington ; I. MacColl ; J. McDonald ; P. Strooper |
