Skip to main content
SpringerLink
Log in

Program design — A practical approach

  • Conference paper
  • First Online:
Specification and Design of Software Systems (OS 1982)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 152))

Included in the following conference series:

Abstract

There is an increasing wealth of experience with abstract data types. This experience encompasses informal discussion of abstract data types, their formal specification, programming language constructs to facilitate their implementation, and the formal verification of implementations. This paper shows how abstract data types may be used as the basis of a top-down method of program design which leads to programs with a high degree of information hinding.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Shaw, M.: The impact of abstraction concerns on modern programming languages. In: Studies in ADA style. Springer-Verlag (104 pages) 1981.

    Google Scholar 

  2. Guttag, J.V., Horowitz, E. and Musser, D.R.: Abstract data types and software validation. Comm.ACM, Vol.21.No.12. Dec. 1978.

    Google Scholar 

  3. Wirth, N.: Modula: a language for modular multiprogramming. Software — Practice and Experience, Vol.7.pp.3–35, 1977.

    MATH  Google Scholar 

  4. Kolstad, R.B. and Campbell, R.H.: Path Pascal user manual. SIGPLAN Notices, Vol.15.No.9.pp.15–24, Sep.1980.

    Google Scholar 

  5. Dahl, O-J., Myhrhang, B. and Nygaard, K.: The Simula 67 common base language. Norwegian Computer Centre, Oslo, 1968.

    Google Scholar 

  6. Welsh, J. and McKeag, M.: Structured system programming. Prentice-Hall (324 pages), 1980.

    Google Scholar 

  7. Reference manual for the Ada programming language. US Department of Defense (260 pages), 1980.

    Google Scholar 

  8. Dungan, D.M.: Bibliography on data types. SIGPLAN Notices, Vol.14, No.11.pp. 31–59, Nov.1979.

    Google Scholar 

  9. Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Comm. ACM, Vol.15, No.12, pp.1053–1058, Dec. 1972.

    Article  Google Scholar 

  10. Parnas, D.L.: On the design and development of program families. IEEE Trans. on Software Engineering, Vol.SE-2,No.1, pp. 1–9, March 1976.

    Google Scholar 

  11. Jones, C.B.: Software development: a rigorous approach. Prentice-Hall (382 pages), 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Hatfield Polytechnic, Hatfield, UK

    R. J. Mitchell

Authors
  1. R. J. Mitchell
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Elöd Knuth Erich J. Neuhold

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mitchell, R.J. (1985). Program design — A practical approach. In: Knuth, E., Neuhold, E.J. (eds) Specification and Design of Software Systems. OS 1982. Lecture Notes in Computer Science, vol 152. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0051564

Download citation

  • DOI: https://doi.org/10.1007/BFb0051564

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-39605-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation