Skip to main content
SpringerLink
Log in

Software structuring: A pragmatic 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:

  • 131 Accesses

Abstract

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.

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. Hoare, C.A.R.: Monitors: an operating system structuring concept. Comm. ACM 17, 10, pp. 549–557, 1974.

    Article  MATH  Google Scholar 

  2. Wasserman, A.I.: The future of programming. Comm. ACM 25, 3, pp. 196–204, 1982.

    Article  Google Scholar 

  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. Guttag, J.V. et al.: The design of data type specifications. 2nd Int.Conf.on Software Engineering, San Francisco, 1976.

    Google Scholar 

  5. Neuhold, E.J. (ed.): Formal description of programming concepts. North Holland, 1978.

    Google Scholar 

  6. Gries, D.: Current ideas in programming methodology. In: Research directions in software technology. MIT Press, 1980.

    Google Scholar 

  7. Information Processing Systems — Open Systems Interconnection — Basic Reference Model. Draft International Standard ISO/DIS 7498, ISO 1982. (Open Systems)

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Computer and Automation Institute, Hungarian Academy of Sciences, POB 63., H 1502, Budapest 112, Hungary

    Előd Knuth

Authors
  1. Előd Knuth
    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

Knuth, E. (1985). Software structuring: A pragmatic 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/BFb0051558

Download citation

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

  • 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