11. ZUM 1998: Berlin, Germany

Industrial Issues

• Klaus Grimm: Industrial Requirements for the Efficient Development of Reliable Embedded Systems. 1-4 BibTeX

Concurrency

• Clemens Fischer: How to Combine Z with Process Algebra. 5-23 BibTeX
• Bill Stoddart: The Specification and Refinement of an Environmental Model. 24-41 BibTeX
• Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper: Formal Derivation of Finite State Machines for Class Testing. 42-59 BibTeX

Tools

• Ib Holm Sørensen: Using B to Specify, Verify and Design Hardware Circuits. 60-65 BibTeX
• Jonathan P. Bowen, David Chippington: Z on the Web Using Java. 66-80 BibTeX
• Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali: Visualizing Z Notation in HTML Documents. 81-95 BibTeX

Z and HOL

• Thomas Santen: On the Semantic Relation of Z and HOL. 96-115 BibTeX
• Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff: HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. 116-134 BibTeX

Safety-Critical and Real-Time Systems

• Nancy G. Leveson: Designing a Requirements Specification Language for Reactive Systems. 135 BibTeX
• Jonathan Jacky: Analyzing a Real-Time Program with Z. 136-153 BibTeX

Semantic Theory

• R. D. Arthan: Recursive Definitions in Z. 154-171 BibTeX
• Martin C. Henson, Steve Reeves: A Logic for the Schema Calculus. 172-191 BibTeX

Theory and Standards

• Ernst-Rüdiger Olderog: Combining Specification Techniques for Processes, Data and Time. 192 BibTeX
• Ian Toyn: Innovations in the Notation of Standard Z. 193-213 BibTeX

Reasoning and Consistency Issues

• Richard F. Paige: Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. 214-232 BibTeX
• Samuel H. Valentine: Inconsistency and Undefinedness in Z - A Practical Guide. 233-249 BibTeX

Refinement

• Kevin Lano, Pauline Kan, Ana Sánchez: Compositional Specification of Controllers for Batch Process Operations. 250-264 BibTeX
• John Derrick, Eerke A. Boiten: Testing Refinements by Refining Tests. 265-283 BibTeX
• Susan Stepney, David Cooper, Jim Woodcock: More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. 284-307 BibTeX

Object Orientation

• Brendan P. Mahony, Jin Song Dong: Network Topology and a Case Study in TCOZ. 308-327 BibTeX
• Viktor Friesen, André Nordwig, Matthias Weber: Object-Oriented Specification of Hybrid Systems Using UML^h and ZimOO. 328-346 BibTeX
• Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud: Translating the OMT Dynamic Model into Object-Z. 347-366 BibTeX

Appendices

• Jonathan P. Bowen: Select Z Bibliography. 367-406 BibTeX
• Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. 407-415 BibTeX