Skip to main content
SpringerLink
Log in

ZUM'97: The Z Formal Specification Notation

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

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Jonathan P. Bowen
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael G. Hinchey
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. David Till
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: ZUM 1997.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Download chapter PDF

  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. Using the rippling heuristic in set membership proofs

    • Ina Kraan
    Pages 135-147

  11. A practical method for rigorously controllable hardware design

    • E. Börger, S. Mazzanti
    Pages 149-187

  12. Integrating VDM++ and real-time system design

    • K. Lano, S. Goldsack, J. Bicarregui
    Pages 188-219

  13. An approach to the design of distributed systems with B AMN

    • Michael Butler
    Pages 221-241

  14. Specifying reactive systems in B AMN

    • K. Lano
    Pages 242-274

  15. An improved recipe for specifying reactive systems in Z

    • Andy. S. Evans
    Pages 275-294

  16. A Z specification of the soft-link hypertext model

    • Mark d'Inverno, Michael Hu
    Pages 295-316

  17. 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

  18. Preliminary evaluation of a formal approach to user interface specification

    • John C. Knight, Susan S. Brilliant
    Pages 329-346

  19. Analyzing and refining an architectural style

    • Paolo Ciancarini, Cecilia Mascolo
    Pages 347-368

  20. Weak refinement in Z

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

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation