Table of contents

  1. Front Matter
  2. Constance Heitmeyer
    Pages 1-9
  3. Bill Stoddart
    Pages 10-34
  4. M A Hewitt, C M O'Halloran, C T Sennett
    Pages 35-51
  5. Steffen Helke, Thomas Neustupny, Thomas Santen
    Pages 52-71
  6. Mark Saaltink
    Pages 72-85
  7. Anthony Hall
    Pages 87-91
  8. Klaus Achatz, Wolfram Schulte
    Pages 92-111
  9. Jon Hall, Andrew Martin
    Pages 113-134
  10. K. Lano, S. Goldsack, J. Bicarregui
    Pages 188-219
  11. K. Lano
    Pages 242-274
  12. Mark d'Inverno, Michael Hu
    Pages 295-316
  13. Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler
    Pages 317-328
  14. John C. Knight, Susan S. Brilliant
    Pages 329-346
  15. Paolo Ciancarini, Cecilia Mascolo
    Pages 347-368
  16. John Derrick, Eerke Boiten, Howard Bowman, Maarten Steen
    Pages 369-388

About these proceedings


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

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment