Skip to main content
SpringerLink
Log in

Cleanroom and Z

  • Conference paper
Z User Workshop, London 1992

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

Abstract

This paper describes an approach to developing software which combines aspects of Cleanroom Software Engineering with the Z formal specification language and the style of design documentation known as “literate programming”.

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

Cleanroom

  1. Developing Defect-Free Software with Cleanroom Software Engineering by Mark Pleszkoch and Alan Spangler of the Cleanroom Software Technology Center (CSTC) in Gaithersburg

    Google Scholar 

  2. The Design PL/X Language by Kim Hathaway and Steve Rosen of the CSTC

    Google Scholar 

  3. An Approach to a Weakest Precondition Semantics for Design PL/X by Jane Sinclair, Steve King, and Jim Woodcock (unpublished paper)

    Google Scholar 

Z

  1. The Z Notation - A Reference Manual by Mike Spivey (ISBN 0–13–983768-X)

    Google Scholar 

  2. Specification Case Studies by Ian Hayes (ISBN 0–13–832544–8)

    Google Scholar 

  3. CICS project report: Experiences and results from the use of Z in IBM by Iain Houston and Steve King (pages 588–596 of VDM ‘81: Formal Software Development Methods,volume 551 of Lecture Notes in Computer Science published by Springer-Verlag)

    Google Scholar 

  4. Using Z and Design PL/X for Software Development by John Wordsworth (unpublished IBM Technical Report)

    Google Scholar 

  5. Software Development with Z by John Wordsworth (Addison-Wesley)

    Google Scholar 

Literate programming

  1. The WEB System of Structured Documentation by Donald Knuth (Stanford University report number STAN-CS-83–980)

    Google Scholar 

  2. Programming Pearls in Communications of the ACM of May and June 1986 (volume 29 numbers 5 and 6) edited by Jon Bentley

    Google Scholar 

  3. A literate programming mailing list on the Internet which may be joined by sending a message containing only the line to LISTSERV@SHSU.EDU. You will receive an email acknowledgment with further information about the list.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM United Kingdom Laboratories Ltd, Hursley Park, Winchester, Hampshire, SO21 2JN, UK

    Glyn Normington

Authors
  1. Glyn Normington
    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

Normington, G. (1993). Cleanroom and Z. 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_18

Download citation

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

  • 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