Table of contents

  1. Front Matter
  2. P. Ciaccia, P. Ciancarini, W. Penzo
    Pages 5-24
  3. David Edmond
    Pages 25-44
  4. Patrícia Duarte de Lima Machado, Silvio Lemos Meira
    Pages 63-82
  5. A. P. Hughes, A. A. Donnelly
    Pages 114-133
  6. Susan Stepney
    Pages 136-151
  7. Hans-Martin Hörcher
    Pages 152-166
  8. Samuel H Valentine
    Pages 182-202
  9. Anthony MacDonald, David Carrington
    Pages 203-223
  10. Daniel M. Germán, D. D. Cowan
    Pages 224-233
  11. Anthony Hall, David Parnas, Nico Plat, John Rushby, Chris Sennett
    Pages 236-242
  12. Barbara Liskov, Jeannette M. Wing
    Pages 244-263
  13. Ben Strulo
    Pages 264-275
  14. Graeme Smith
    Pages 276-295
  15. Peter Bancroft, Ian Hayes
    Pages 298-314

About these proceedings


This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.
The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.


Formale Methoden Formale Spezifikation Software Engineering Spezifikationssprache Z Systementwicklung formal method formal methods formal specification object software enginering system development testing z specification language

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60271-2
  • Online ISBN 978-3-540-44782-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Energy, Utilities & Environment