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

Real-Time Systems

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

Tools

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

Applications I

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

Logic

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

System Development

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

Reactive Systems

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

Applications II

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

Refinement

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

Appendices

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

Last update Fri May 24 19:57:57 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page