This paper is a contribution of a special kind: rather than describing one specific result, I will attempt to give a synopsis of an ongoing controversy between rivalling ideas and attitudes underlying our scientific and technical work in software engineering. In doing so, I will argue for a shift of emphasis which I term a paradigm change. This change seems urgent in a situation where software as part of computer-based systems affects even more areas of the living human world, while the existing discipline of software engineering has no way of dealing with this systematically.
- Software Engineering
- Software Engineer
- Human World
- Paradigm Change
- Referent System
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.
This is a preview of subscription content, access via your institution.
Tax calculation will be finalised at checkout
Purchases are for personal use onlyLearn about institutional subscriptions
Unable to display preview. Download preview PDF.
Agresti, W. W.: 1986, New Paradigms for Software Development, IEEE Computer Society Press, Order Number 707, Washington, D.C.
Budde, R., Kuhlenkamp, K., Mathiassen, L. and Züllighoven, H.: 1984, ‘Approaches to Prototyping’, Proceedings of the Working Conference on Prototyping, Springer-Verlag, Berlin-Heidelberg-New York-Tokyo.
Boehm, B. W.: 1976, ‘Software Engineering’, IEEE Transactions on Computers C-25(12), 1226–1241.
Dreyfus, H. L.: 1972, What Computers Can’t Do — The Limits of Artificial Intelligence. Harper & Row, New York.
Floyd, C.: 1981, ‘A Process-Oriented Approach to Software Development’, in: Systems Architecture, Proceedings of the 6th European ACM Regional Conference, Westbury House, pp. 285–294.
Floyd, C.: 1984, ‘A Systematic Look at Prototyping’, in: R. Budde et al. (Eds.), Approaches to Prototyping, Springer-Verlag, pp. 1–18.
Floyd, C.: 1986, ‘A Comparative Evaluation of System Development Methods’, in: T. W. Olle, H. G. Sol, and A. A. Verrijn-Stuart (Eds.), Information Systems Design Methodologies: Improving the Practice, North-Holland, pp. 19–54.
Floyd, C., and Keil, R.: 1986, ‘Adapting Software Development for Systems Design With the User’, in: U. Briefs, C. Ciborra, and L. Schneider (Eds.), System Design For, With and By the Users, North-Holland, pp. 163–172.
Kuhn, T. S.: 1962, The Structure of Scientific Revolutions, University of Chicago.
Kuhn, T. S.: 1979, The Copernican Revolution — Planetary Astronomy in the Development of Western Thought, Harvard University Press, Cambridge-London.
Lehman, M. M.: 1980, ‘Programs, Life Cycles and Laws of Software Evolution’, Proceedings of the IEEE 68(9).
Mathiassen, L.: 1981, Systemudvikling og systemudviklingsmetode, Datalogisk Afdeling, Aarhus Universitet.
Naur, P.: 1982, ‘Formalization in Program Development’, BIT 22, 437–453.
Naur, P.: 1983, ‘Program Development Studies Based on Diaries’, in: Psychology of Computer Use, Academic Press, London, pp. 159–170.
Naur, P.: 1984, ‘Programming as Theory Building’, in: Microprocessing and Microprogramming, Vol. 15. North-Holland, pp. 253–261.
Naur, P., and Randell, B.: 1969, ‘Software Engineering’, Report on a Conference sponsored by the NATO Science Committee, Garmisch 7–11.10.69, Brussels.
Nygaard, K. and Håndlykken, P.: 1981, ‘The System Development Process — Its Setting, Some Problems and Needs for Methods’, in: H. Hünke (Ed.), Software Engineering Environments. Proceedings of the Symposium on Software Engineering Environments, North-Holland, pp. 157–172.
Ryle, G.: 1949, The Concept of Mind, Hutchinson, and Penguin Books, England, 1983.
Turski, W. M.: 1985, Informatics — A Propaedeutic View. PWN, Polish Scientific Publishers, Warsaw.
Editors and Affiliations
© 1993 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Floyd, C. (1993). Outline of a Paradigm Change in Software Engineering. In: Colburn, T.R., Fetzer, J.H., Rankin, T.L. (eds) Program Verification. Studies in Cognitive Systems, vol 14. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-1793-7_11
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4789-0
Online ISBN: 978-94-011-1793-7
eBook Packages: Springer Book Archive