Skip to main content
SpringerLink
Log in

A Refinement Case Study (using the Abstract Machine Notation)

  • Conference paper
4th Refinement Workshop

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

Abstract

In this paper, we develop with great details a classical little example1 of refinement from initial specification down to final code. We insist on a few methodological points among which are the following:

  • the importance of a sound mathematical preamble,

  • the systematic usage of data refinement steps based on clear and intuitive technical decisions,

  • the reusability of already specified and refined pieces of code.

The exercise is conducted using an homogeneous notational style based on Abstract Machines and Generalized Substitutions [1].

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. J.R. Abrial Assigning Programs to Meanings Book to appear.

    Google Scholar 

  2. J.R. Abrial A Formal Approach to Large Software Construction 1989.

    Google Scholar 

  3. E.W. Dijkstra A Discipline of Programming Prentice Hall 1976.

    Google Scholar 

  4. E.W. Dijkstra and W.H.J. Feijen A Method of Programming Addison-Wesley 1988.

    Google Scholar 

  5. R.G. Dromey How to Solve it by Computer Prentice Hall International 1982.

    Google Scholar 

  6. D. Gries The Science of Programming Springer Verlag 1981.

    Google Scholar 

  7. J. Misra A Technique of Algorithmic Construction on Sequences IEEE Transaction on Software Engineering January 1978.

    Google Scholar 

  8. D.L.ParnasA Technique for Software Module Specification with Examples CACM 14,5 1972.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. 26, rue des Plantes, 75014, Paris, France

    J. R. Abrial (Consultant)

Authors
  1. J. R. Abrial
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing Science, University of Glasgow, G12 8QQ, Glasgow, Scotland

    Joseph M. Morris PhD

  2. Lloyd’s Register House, Lloyd’s Register of Shipping, 29 Wellesley Road, CR0 2AJ, Croydon, Surrey, UK

    Roger C. Shaw

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Abrial, J.R. (1991). A Refinement Case Study (using the Abstract Machine Notation). In: Morris, J.M., Shaw, R.C. (eds) 4th Refinement Workshop. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3756-6_4

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3756-6_4

  • Publisher Name: Springer, London

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

  • Online ISBN: 978-1-4471-3756-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation