Skip to main content
Springer Nature Link
Log in

Towards a Z Method: Axiomatic Specification in Z

  • Conference paper
Z User Workshop, Cambridge 1994

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

  • 44 Accesses

Abstract

Z is a rich and expressive specification language. It is possible to use Z to produce clear, abstract and elegant specifications; it is also possible to use Z to produce meaningless specifications.

One of the overall aims of the research work in York is to produce a Z-based method for the meaningful specification and development of safety critical systems. Our primary aim, in this paper, is to address the narrower technical issues of the rôle of axiomatic specification techniques in the production of Z specifications. We return to the discussion of broader methodological issues in the conclusions.

This work was produced under the auspices of the SERC SCHEMA project (GR/G49531)

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. S. Brien, J. Nicholls: “Z Base Standard Version 1.0”. (1992).

    Google Scholar 

  2. J.A. Goguen: “Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations”. Technical Report SRI-CSL-89–10, SRI International, Computer Science Lab., (July 1989).

    Google Scholar 

  3. J.A. Goguen: “Theorem Proving and Algebra”. Prentice-Hall International, to appear. (1992).

    Google Scholar 

  4. J.G. Hall: “Type and Value Calculations in Z”. To appear.

    Google Scholar 

  5. N. Shankar, S. Owre, J.M. Rushby: “A Tutorial on Specification and Verification Using PVS (Beta Release)”. Computer Science Laboratory, SRI International (March 1993).

    Google Scholar 

  6. J.M. Spivey: “The Z Notation: A Reference Manual” Second Edition. Prentice Hall International Series in Computer Science (1992).

    Google Scholar 

  7. P.J. Whysall: “Object Oriented Specification and Refinement”. D.Phil. Thesis, York University (1991).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of York, York, UK

    Jon Hall & John McDermid

Authors
  1. Jon Hall
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. John McDermid
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Programming Research Group, Oxford University Computing Laboratory, Wolfson Buliding, Parks Road, OX1 3QD, Oxford, UK

    J. P. Bowen MA

  2. Praxis Systems plc, 20 Manvers Street, BA1 1PX, Bath, UK

    J. A. Hall MA, DPhil, CEng

Rights and permissions

Reprints and permissions

Copyright information

© 1994 British Computer Society

About this paper

Cite this paper

Hall, J., McDermid, J. (1994). Towards a Z Method: Axiomatic Specification in Z. In: Bowen, J.P., Hall, J.A. (eds) Z User Workshop, Cambridge 1994. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3452-7_12

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3452-7_12

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19884-0

  • Online ISBN: 978-1-4471-3452-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics