Skip to main content
SpringerLink
Log in

Animating Z specifications in SQL*Forms3.0

  • Conference paper
Z User Workshop, London 1992

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

Abstract

This paper outlines the role of animation when developing formal specifications of computer software, and presents a method for animating Z specifications in the CASE product SQL*Forms3.0 The method includes a novel way of grouping the Z predicates in such a way that schema composition and inclusion are supported. A worked example is given.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Gallimore R.M., Coleman D.; Introduction to Abstract Data Type Specfcations using OBJ. Umist. 1984

    Google Scholar 

  2. Spivey J.M.; The Z notation: a reference manual. Prentice Hall 1989.

    Google Scholar 

  3. Dawes J; The VDM-SL Reference Guide. Pitman Publishing, 1991.

    Google Scholar 

  4. Jones C B; Systematic Software Development using VDM. Prentice Hall, 1991

    Google Scholar 

  5. IEEE Guide to Software Requirements Specifications. IEEE Inc, New York, 1984

    Google Scholar 

  6. DoD - STD - 2167A Military Standard, Defense Systems Software Development. Dept of Defense, Washington DC 20301. 1988

    Google Scholar 

  7. Interim Defence Standard 00–55; The Procurement of Safety Critical Software in Defence Equipment. Ministry of Defence (Parti: Requirements; Part2: Guidance). 1991

    Google Scholar 

  8. Oracle Corporation; SQL*Forms 3.0 User’s Guide and Reference 1991

    Google Scholar 

  9. Money I et al; Case Studies in the animation of formal specifications. Internal Paper, School of Computing and Management Sciences, Sheffield Hallam University, Sheffield S i i 8HD. 1992

    Google Scholar 

  10. Jabry Z, Austin S; An experiment in VDM to SQL Translation. NPL Report DITC 193/91, National; Physical Laboratory, Teddington, Middx. UK. 1991

    Google Scholar 

  11. Diller A; Z: An Introduction to Formal Methods. Wiley 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing and Management Sciences, Sheffield Hallam University, Sheffield, S11 8HD, UK

    Matthew Love

Authors
  1. Matthew Love
    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, 11 Keble Road, OX1 3QD, Oxford, UK

    J. P. Bowen MA  & J. E. Nicholls MA  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Love, M. (1993). Animating Z specifications in SQL*Forms3.0. In: Bowen, J.P., Nicholls, J.E. (eds) Z User Workshop, London 1992. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3556-2_19

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3556-2_19

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19818-5

  • Online ISBN: 978-1-4471-3556-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation