Skip to main content
SpringerLink
Log in
Book cover

Program Verification pp 239–259Cite as

Outline of a Paradigm Change in Software Engineering

  • Chapter

Part of the Studies in Cognitive Systems book series (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.

Keywords

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

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

Learn about 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.

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

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

    CrossRef  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 7–11.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

  1. Institut für Angewardte Informatick, Technische Universität Berliny, Germany

    Christiane Floyd

Authors
  1. Christiane Floyd
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Minnesota, Duluth, USA

    Timothy R. Colburn

  2. Department of Philosophy, University of Minnesota, Duluth, USA

    James H. Fetzer

  3. IBM Health Industry Marketing, Atlanta, Georgia, USA

    Terry L. Rankin

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

search

Navigation