Software structuring: A pragmatic approach

  • Előd Knuth
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 152)


During the past few years in our laboratory we have had many experiences with various software engineering technologies and sophisticated computer aids for software development. In general, we felt that they usually try to solve too much but do indeed practically very few.

In this paper we intentionally avoided proposing too much (e.g. by over-formulating those aspects which could well have been formalized strictly if we had wanted).

The way outlined in this paper concentrates on the process of development, emphasises the discipline and not the formalities.


Abstraction Level Open System Interconnection Draft International Standard Data Type Specification Error List 
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.
    Hoare, C.A.R.: Monitors: an operating system structuring concept. Comm. ACM 17, 10, pp. 549–557, 1974.CrossRefzbMATHGoogle Scholar
  2. 2.
    Wasserman, A.I.: The future of programming. Comm. ACM 25, 3, pp. 196–204, 1982.CrossRefGoogle Scholar
  3. 3.
    Wulf, W.A. et al.: An introduction to the construction and verification of Alphard programs. IEEE SE-2, pp. 253–264, 1976.Google Scholar
  4. 4.
    Guttag, J.V. et al.: The design of data type specifications. 2nd Int.Conf.on Software Engineering, San Francisco, 1976.Google Scholar
  5. 5.
    Neuhold, E.J. (ed.): Formal description of programming concepts. North Holland, 1978.Google Scholar
  6. 6.
    Gries, D.: Current ideas in programming methodology. In: Research directions in software technology. MIT Press, 1980.Google Scholar
  7. 7.
    Information Processing Systems — Open Systems Interconnection — Basic Reference Model. Draft International Standard ISO/DIS 7498, ISO 1982. (Open Systems)Google Scholar
  8. 8.
    Rosene, A.F., Connolly, J.E., Bracy, K.M.: Software maintability — What it means and how to achieve it. IEEE Tr. on Reliability R-30, 3, pp. 240–245, 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Előd Knuth
    • 1
  1. 1.Computer and Automation InstituteHungarian Academy of SciencesBudapest 112Hungary

Personalised recommendations