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
  16. Pascal Bernard, Guy Laffitte
    Pages 334-352
  17. Ina Kraan, Peter Baumann
    Pages 354-373
  18. Margaret M. West
    Pages 389-407
  19. Colman Reilly
    Pages 408-420
  20. Tony Bryant, Andy Evans, Lesley Semmens, Rajko Milovanovic, Sinclair Stockman, Mark Norris et al.
    Pages 422-433
  21. John Derrick, Howard Bowman, Maarten Steen
    Pages 449-468
  22. David Lorge Parnas
    Pages 470-481
  23. Jeannette M. Wing
    Pages 497-497
  24. Neville Dean
    Pages 498-507
  25. Luboš Mikušiak, Vladimír Vojtek, Jozef Hasaralejko, Jana Hanzelová
    Pages 510-523
  26. Jonathan P. Bowen
    Pages 526-560
  27. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment