Skip to main content

Outline of a Paradigm Change in Software Engineering

  • Chapter
Program Verification

Part of the book series: Studies in Cognitive Systems ((COGS,volume 14))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 329.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Agresti, W. W.: 1986, New Paradigms for Software Development, IEEE Computer Society Press, Order Number 707, Washington, D.C.

    Google Scholar 

  • 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.

    Google Scholar 

  • Boehm, B. W.: 1976, ‘Software Engineering’, IEEE Transactions on Computers C-25(12), 1226–1241.

    Article  Google Scholar 

  • Dreyfus, H. L.: 1972, What Computers Can’t Do — The Limits of Artificial Intelligence. Harper & Row, New York.

    Google Scholar 

  • 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.

    Google Scholar 

  • Floyd, C.: 1984, ‘A Systematic Look at Prototyping’, in: R. Budde et al. (Eds.), Approaches to Prototyping, Springer-Verlag, pp. 1–18.

    Chapter  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Kuhn, T. S.: 1962, The Structure of Scientific Revolutions, University of Chicago.

    Google Scholar 

  • Kuhn, T. S.: 1979, The Copernican Revolution — Planetary Astronomy in the Development of Western Thought, Harvard University Press, Cambridge-London.

    Google Scholar 

  • Lehman, M. M.: 1980, ‘Programs, Life Cycles and Laws of Software Evolution’, Proceedings of the IEEE 68(9).

    Google Scholar 

  • Mathiassen, L.: 1981, Systemudvikling og systemudviklingsmetode, Datalogisk Afdeling, Aarhus Universitet.

    Google Scholar 

  • Naur, P.: 1982, ‘Formalization in Program Development’, BIT 22, 437–453.

    Article  MathSciNet  MATH  Google Scholar 

  • Naur, P.: 1983, ‘Program Development Studies Based on Diaries’, in: Psychology of Computer Use, Academic Press, London, pp. 159–170.

    Google Scholar 

  • Naur, P.: 1984, ‘Programming as Theory Building’, in: Microprocessing and Microprogramming, Vol. 15. North-Holland, pp. 253–261.

    Google Scholar 

  • Naur, P., and Randell, B.: 1969, ‘Software Engineering’, Report on a Conference sponsored by the NATO Science Committee, Garmisch 711.10.69, Brussels.

    Google Scholar 

  • 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.

    Google Scholar 

  • Ryle, G.: 1949, The Concept of Mind, Hutchinson, and Penguin Books, England, 1983.

    Google Scholar 

  • Turski, W. M.: 1985, Informatics — A Propaedeutic View. PWN, Polish Scientific Publishers, Warsaw.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 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

Download citation

  • DOI: 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

Publish with us

Policies and ethics