Skip to main content
  • Conference proceedings
  • © 1997

ZUM'97: The Z Formal Specification Notation

10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1212)

Conference series link(s): ZUM: International Conference of Z Users

Conference proceedings info: ZUM 1997.

Buying options

Softcover Book USD 119.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (21 papers)

  1. Front Matter

  2. Formal methods: A panacea or academic poppycock?

    • Constance Heitmeyer
    Pages 1-9
  3. An introduction to the event calculus

    • Bill Stoddart
    Pages 10-34
  4. Experiences with PiZA, an Animator for Z

    • M A Hewitt, C M O'Halloran, C T Sennett
    Pages 35-51
  5. Automating test case generation from Z specifications with Isabelle

    • Steffen Helke, Thomas Neustupny, Thomas Santen
    Pages 52-71
  6. The Z/EVES system

    • Mark Saaltink
    Pages 72-85
  7. Taking Z seriously

    • Anthony Hall
    Pages 87-91
  8. A formal OO method inspired by Fusion and Object-Z

    • Klaus Achatz, Wolfram Schulte
    Pages 92-111
  9. W Reconstructed

    • Jon Hall, Andrew Martin
    Pages 113-134
  10. A practical method for rigorously controllable hardware design

    • E. Börger, S. Mazzanti
    Pages 149-187
  11. Integrating VDM++ and real-time system design

    • K. Lano, S. Goldsack, J. Bicarregui
    Pages 188-219
  12. Specifying reactive systems in B AMN

    • K. Lano
    Pages 242-274
  13. A Z specification of the soft-link hypertext model

    • Mark d'Inverno, Michael Hu
    Pages 295-316
  14. Experience with Z developing a control program for a radiation therapy machine

    • Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler
    Pages 317-328
  15. Preliminary evaluation of a formal approach to user interface specification

    • John C. Knight, Susan S. Brilliant
    Pages 329-346
  16. Analyzing and refining an architectural style

    • Paolo Ciancarini, Cecilia Mascolo
    Pages 347-368
  17. Weak refinement in Z

    • John Derrick, Eerke Boiten, Howard Bowman, Maarten Steen
    Pages 369-388

Other Volumes

  1. ZUM '97: The Z Formal Specification Notation

About this book

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997.
The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.


  • Algebraische Methoden
  • Formale Spezifikation
  • Programmverfeinerung
  • Z notation
  • Z-Notation
  • algebraic methods
  • formal specification
  • logic
  • program refinement
  • real-time
  • real-time systems
  • system development
  • algorithm analysis and problem complexity

Bibliographic Information

Buying options

Softcover Book USD 119.00
Price excludes VAT (USA)