10. ZUM 1997: Reading, UK

Jonathan P. Bowen, Michael G. Hinchey, David Till (Eds.): ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings. Lecture Notes in Computer Science 1212 Springer 1997, ISBN 3-540-62717-0 BibTeX

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

Copyright © Sat May 16 23:48:57 2009 by Michael Ley (ley@uni-trier.de)