10. ZUM 1997: Reading, UK

@proceedings{DBLP:conf/zum/1997,
  editor    = {Jonathan P. Bowen and
               Michael G. Hinchey and
               David Till},
  title     = {ZUM '97: The Z Formal Specification Notation, 10th International
               Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings},
  booktitle = {ZUM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1212},
  year      = {1997},
  isbn      = {3-540-62717-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Real-Time Systems

• Constance L. Heitmeyer: Formal Methods: A Panacea or Academic Poppycock? 3-9 BibTeX
• Bill Stoddart: An Introduction to the Event Calculus. 10-34 BibTeX

Tools

• M. A. Hewitt, Colin O'Halloran, Chris T. Sennett: Experiences with PiZA, an Animator for Z. 37-51 BibTeX
• Steffen Helke, Thomas Neustupny, Thomas Santen: Automating Test Case Generation from Z Specifications with Isabelle. 52-71 BibTeX
• Mark Saaltink: The Z/EVES System. 72-85 BibTeX

Applications I

• Anthony Hall: Taking Z Seriously. 89-91 BibTeX
• Klaus Achatz, Wolfram Schulte: A Formal OO Method Inspired by Fusion and Object-Z. 92-111 BibTeX

Logic

• Jon G. Hall, Andrew Martin: W Reconstructed. 115-134 BibTeX
• Ina Kraan: Using the Rippling Heuristic in Set Membership Proofs. 135-147 BibTeX

System Development

• Egon Börger, S. Mazzanti: A Practical Method for Rigorously Controllable Hardware Design. 151-187 BibTeX
• Kevin Lano, S. J. Goldsack, Juan Bicarregui, Stuart Kent: Integrating VDM++ and Real-Time System Design. 188-219 BibTeX

Reactive Systems

• Michael J. Butler: An Approach to the Design of Distributed Systems with B AMN. 223-241 BibTeX
• Kevin Lano: Specifying Reactive Systems in B AMN. 242-274 BibTeX
• Andy Evans: An Improved Recipe for Specifying Reactive Systems in Z. 275-294 BibTeX

Applications II

• Mark d'Inverno, Michael J. Hu: A Z Specification of the Soft-Link Hypertext Model. 297-316 BibTeX
• Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler: Experience with Z Developing a Control Program for a Radiation Therapy Machine. 317-328 BibTeX
• John C. Knight, Susan S. Brilliant: Preliminary Evaluation of a Formal Approach to User Interface Specification. 329-346 BibTeX

Refinement

• Paolo Ciancarini, Cecilia Mascolo: Analyzing and Refining an Architectural Style. 349-368 BibTeX
• John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Weak Refinement in Z. 369-388 BibTeX

Appendices

• Jonathan P. Bowen: Select Z Bibliography. 391-424 BibTeX
• Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. 425-433 BibTeX