Skip to main content
SpringerLink
Log in

ZUM '95: The Z Formal Specification Notation

9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

  • Conference proceedings
  • © 1995

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

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

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 109.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 (36 papers)

  1. Front Matter

    Download chapter PDF

  2. Language-free mathematical methods for software design extended abstract

    • David Lorge Parnas
    Pages 2-4

  3. A formal approach to software design: The Clepsydra methodology

    • P. Ciaccia, P. Ciancarini, W. Penzo
    Pages 5-24

  4. Refining database systems

    • David Edmond
    Pages 25-44

  5. Structuring a Z specification to provide a formal framework for autonomous agent systems

    • Michael Luck, Mark D'Inverno
    Pages 46-62

  6. On the use of formal specifications in the design and simulation of artificial neural networks

    • Patrícia Duarte de Lima Machado, Silvio Lemos Meira
    Pages 63-82

  7. Structuring specification in Z to build a unifying framework for hypertext systems

    • Mark D'Inverno, Mark Priestley
    Pages 83-102

  8. Mechanizing formal methods: Opportunities and challenges

    • John Rushby
    Pages 104-113

  9. An algebraic proof in VDM ♣

    • A. P. Hughes, A. A. Donnelly
    Pages 114-133

  10. Testing as abstraction

    • Susan Stepney
    Pages 136-151

  11. Improving software tests using Z Specifications

    • Hans-Martin Hörcher
    Pages 152-166

  12. Compilation of Z specifications into C for automatic test result evaluation

    • Erich Mikk
    Pages 167-180

  13. Equal rights for schemas in Z

    • Samuel H Valentine
    Pages 182-202

  14. Structuring Z specifications: Some choices

    • Anthony MacDonald, David Carrington
    Pages 203-223

  15. Experiments with the Z interchange format and SGML

    • Daniel M. Germán, D. D. Cowan
    Pages 224-233

  16. The future of industrial formal methods

    • Anthony Hall, David Parnas, Nico Plat, John Rushby, Chris Sennett
    Pages 236-242

  17. Specifications and their use in defining subtypes

    • Barbara Liskov, Jeannette M. Wing
    Pages 244-263

  18. How firing conditions help inheritance

    • Ben Strulo
    Pages 264-275

  19. Extending W for Object-Z

    • Graeme Smith
    Pages 276-295

  20. A formal semantics for a language with type extension

    • Peter Bancroft, Ian Hayes
    Pages 298-314
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation