11. ZUM 1998: Berlin, Germany

Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (Eds.): ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings. Lecture Notes in Computer Science 1493 Springer 1998, ISBN 3-540-65070-9 BibTeX

@proceedings{DBLP:conf/zum/1998,
  editor    = {Jonathan P. Bowen and
               Andreas Fett and
               Michael G. Hinchey},
  title     = {ZUM '98: The Z Formal Specification Notation, 11th International
               Conference of Z Users, Berlin, Germany, September 24-26, 1998,
               Proceedings},
  booktitle = {ZUM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1493},
  year      = {1998},
  isbn      = {3-540-65070-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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