Skip to main content
SpringerLink
Log in
Book cover

Z User Workshop, Cambridge 1994 pp 89–107Cite as

An Object-Oriented Development Framework for Z

  • Conference paper

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

Abstract

This paper presents a framework for developing Z specifications in an object-oriented style. Within the framework, object-oriented concepts and design strategies are captured by the application of development operators. The framework also records the history of operator application enabling “classes” to be identified and, hence, the possibility of modular verification and refinement.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alencar A, Goguen J. OOZE: An object oriented Z environment. In America P (ed), Proceedings European Conference on Object-Oriented Programming (ECOOP’91), vol 512 of Lecture Notes in Computer Science, pp 180–199. Springer-Verlag, 1991.

    Google Scholar 

  2. Booch G. Object-Oriented Design with Applications. Addison-Wesley, 1990.

    Google Scholar 

  3. Duke R, Duke D. Aspects of object-oriented formal specification. In Proceedings 5th Australian Software Engineering Conference (ASWEC’90), pp 21–26, Sydney, 1990.

    Google Scholar 

  4. Duke R, King P, Rose G, Smith G. The Object-Z specification language: Version 1. Technical Report 91–1, Software Verification Research Centre, Department of Computer Science, University of Queensland, Australia, 1991.

    Google Scholar 

  5. Finance J, Lévy N, Souquières J, Valdenaire A. SACSO: un environnement d’aide à la spécification. T.S.I., 9 (3): 245–261, 1990.

    Google Scholar 

  6. Hall A. Using Z as a specification calculus for object-oriented systems. In Bjorner D, Hoare C, Langmaack H (eds), VDM’90: VDM and Z!, vol 428 of Lecture Notes in Computer Science, pp 290–318. Springer-Verlag, 1990.

    Google Scholar 

  7. Schuman S, Pitt D. Object-oriented subsystem specification. In Meertens L (ed), Program Specification and Transformation, pp 313–341. North-Holland, 1987.

    Google Scholar 

  8. Souquières J, Lévy N. Description of specification developments. In Proceedings IEEE International Symposium on Requirements Engineering, San Diego, 1993.

    Google Scholar 

  9. Spivey J. The Z Notation: A Reference Manual. Series in Computer Science. Prentice-Hall International, 1989.

    Google Scholar 

  10. Stepney S, Barden R, Cooper D (eds). Object Orientation in Z. Workshops in Computing. Springer-Verlag, 1992.

    Google Scholar 

  11. Whysall P, McDermid J. An approach to object oriented specification using Z. In Nicholls J (ed), Z User Workshop Oxford 1990. Springer-Verlag, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CRIN-CNRS and INRIA Lorraine, Nancy, France

    Graeme Smith

Authors
  1. Graeme Smith
    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

Smith, G. (1994). An Object-Oriented Development Framework for 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_6

Download citation

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

  • 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

Search

Navigation