Abstract
Engineering is the use of science and technology to build useful artifacts. Those who design computer systems are clearly acting as engineers. However, there are deep differences between the way that computer systems are designed and the way that engineers in other areas work. Mechanical, electrical, and civil engineers make extensive use of mathematics to provide precise descriptions of their products. In contrast, computer systems are usually described, quite inaccurately, using anthropomorphic analogies and intuitive language. If an engineer produces a system from smaller components, he realises the necessity of precise specification of each of the components. Computer systems engineers, particularly programmers rarely write such specifications. They usually rely on a “cut and try” approach in which substantial redesign must be done after “integration” is begun.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
PARNAS, D.L., “A Generalized Control Structure and its Formal Definition”, Communications of the ACM, 26, 8, August 1983, pp. 572–581.
MILLS, H.D., “The New Math of Computer Programming”, Communications of the ACM, vol. 18, no. 1, January 1975, pp. 43–48.
BRITTON, K., PARNAS, D.L., “A-7E Software Module Guide”, NRL Memorandum Report 4702, December 1981.
MILLS, H.D., BASILI, V.R., GANNON, J.D., HAMLET, R.G., Principles of Computer Programming: A Mathematical Approach publisher — Allyn and Bacon, 1987.
GANNON, J.D, HAMLET, R.G., MILLS, H.D, “Theory of Modules”, IEEE Transactions on Software Engineering, July 1987.
PARNAS, D.L., “Documentation of Communications Services and Protocols”, Technical Report 90–272, Queen’s University, TRIO (Telecommunications Research Institute of Ontario), February 1990, 4 pgs.
PARNAS, D.L., WANG, Y., “The Trace Assertion Method of Module — Interface Specification”, Technical Report 89–261, Queen’s University, TRIO (Telecommunications Research Institute of Ontario), October 1989, 39 pgs.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Parnas, D.L. (1990). Functional Specifications for Old (and New) Software. In: Reuter, A. (eds) GI - 20. Jahrestagung I. Informatik-Fachberichte, vol 257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76118-8_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-76118-8_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53212-5
Online ISBN: 978-3-642-76118-8
eBook Packages: Springer Book Archive