Three Debates about Computing

  • Matti Tedre
Conference paper

DOI: 10.1007/978-3-642-39053-1_48

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7921)
Cite this paper as:
Tedre M. (2013) Three Debates about Computing. In: Bonizzoni P., Brattka V., Löwe B. (eds) The Nature of Computation. Logic, Algorithms, Applications. CiE 2013. Lecture Notes in Computer Science, vol 7921. Springer, Berlin, Heidelberg

Abstract

Computing as a discipline has a short but vivid history. Computing started to develop a disciplinary identity only after the birth of the stored-program paradigm in the 1940s, and its academic image has seen dramatic changes in the past six decades. This article presents three debates that are central in understanding how computing as a discipline developed to what it is now: the formal verification debate, the software engineering debate, and the experimental computer science debate.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Matti Tedre
    • 1
  1. 1.Department of Computer and Systems SciencesStockholm UniversityStockholmSweden

Personalised recommendations