Software structuring: A pragmatic approach
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.
KeywordsAbstraction Level Open System Interconnection Draft International Standard Data Type Specification Error List
Unable to display preview. Download preview PDF.
- 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