Program design — A practical approach

  • R. J. Mitchell
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 152)


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.


Input File Program Design Output File Input Module Output Module 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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. [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. [3]
    Wirth, N.: Modula: a language for modular multiprogramming. Software — Practice and Experience, Vol.7.pp.3–35, 1977.zbMATHGoogle Scholar
  4. [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. [5]
    Dahl, O-J., Myhrhang, B. and Nygaard, K.: The Simula 67 common base language. Norwegian Computer Centre, Oslo, 1968.Google Scholar
  6. [6]
    Welsh, J. and McKeag, M.: Structured system programming. Prentice-Hall (324 pages), 1980.Google Scholar
  7. [7]
    Reference manual for the Ada programming language. US Department of Defense (260 pages), 1980.Google Scholar
  8. [8]
    Dungan, D.M.: Bibliography on data types. SIGPLAN Notices, Vol.14, No.11.pp. 31–59, Nov.1979.Google Scholar
  9. [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.CrossRefGoogle Scholar
  10. [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. [11]
    Jones, C.B.: Software development: a rigorous approach. Prentice-Hall (382 pages), 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • R. J. Mitchell
    • 1
  1. 1.The Hatfield PolytechnicHatfieldUK

Personalised recommendations