Skip to main content
SpringerLink
Log in
Book cover

Conference on Computability in Europe

CiE 2013: The Nature of Computation. Logic, Algorithms, Applications pp 404–413Cite as

Three Debates about Computing

  • Conference paper

  • 1779 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7921))

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.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

  1. Aspray, W.: Was early entry a competitive advantage? US universities that entered computing in the 1940s. IEEE Annals of the History of Computing 22(3), 42–87 (2000)

    Article  Google Scholar 

  2. Atchison, W.F., Conte, S.D., Hamblen, J.W., Hull, T.E., Keenan, T.A., Kehl, W.B., McCluskey, E.J., Navarro, S.O., Rheinboldt, W.C., Schweppe, E.J., Viavant, W., David, J., Young, M.: Curriculum 68: Recommendations for academic programs in computer science: a report of the ACM curriculum committee on computer science. Communications of the ACM 11(3), 151–197 (1968)

    Article  Google Scholar 

  3. Basili, V.R., Zelkowitz, M.V.: Empirical studies to build a science of computer science. Communications of the ACM 50(11), 33–37 (2007)

    Article  Google Scholar 

  4. Brooks Jr., F.P.: No silver bullet: Essence and accidents of software engineering. IEEE Computer 20(4), 10–19 (1987)

    Article  MathSciNet  Google Scholar 

  5. Campbell-Kelly, M., Aspray, W.: Computer: A History of the Information Machine, 2nd edn. Westview Press, Oxford (2004)

    Google Scholar 

  6. Conte, S.D., Hamblen, J.W., Kehl, W.B., Navarro, S.O., Rheinboldt, W.C., David, J., Young, M., Atchinson, W.F.: An undergraduate program in computer science–preliminary recommendations. Communications of the ACM 8(9), 543–552 (1965)

    Article  Google Scholar 

  7. De Millo, R.A., Lipton, R.J., Perlis, A.J.: Social processes and proofs of theorems and programs. Communications of the ACM 22(5), 271–280 (1979)

    Article  Google Scholar 

  8. Denning, P.J., Comer, D.E., Gries, D., Mulder, M.C., Tucker, A., Turner, A.J., Young, P.R.: Computing as a discipline. Communications of the ACM 32(1), 9–23 (1989)

    Article  Google Scholar 

  9. Dijkstra, E.W.: The humble programmer. Communications of the ACM 15(10), 859–866 (1972)

    Article  Google Scholar 

  10. Dijkstra, E.W.: Programming as a discipline of mathematical nature. American Mathematical Monthly 81(6), 608–612 (1974)

    Article  MathSciNet  MATH  Google Scholar 

  11. Dijkstra, E.W.: On a cultural gap. The Mathematical Intelligencer 8(1), 48–52 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  12. Dijkstra, E.W.: On the cruelty of really teaching computer science. Communications of the ACM 32(12), 1398–1404 (1989)

    Google Scholar 

  13. Dijkstra, E.W.: The tide, not the waves. In: Denning, P.J., Metcalfe, R.M. (eds.) Beyond Calculation: The Next Fifty Years of Computing, pp. 59–64. Springer, New York (1997)

    Chapter  Google Scholar 

  14. Eden, A.H.: Three paradigms of computer science. Minds & Machines 17(2), 135–167 (2007)

    Article  Google Scholar 

  15. Egan, L.G.: Closing the “gap” between the university and industry in computer science. SIGCSE Bulletin 8(4), 19–25 (1976)

    Article  Google Scholar 

  16. Ensmenger, N.L.: The ’question of professionalism’ in the computer fields. IEEE Annals of the History of Computing 23(4), 56–74 (2001)

    Article  MathSciNet  Google Scholar 

  17. Fein, L.: The role of the university in computers, data processing, and related fields. Communications of the ACM 2(9), 7–14 (1959)

    Article  Google Scholar 

  18. Feldman, J.A., Sutherland, W.R.: Rejuvenating experimental computer science: A report to the National Science Foundation and others. Communications of the ACM 22(9), 497–502 (1979)

    Article  Google Scholar 

  19. Fellows, M.R.: Computer science and mathematics in the elementary schools. In: Fisher, N.D., Keynes, H.B., Wagreich, P.D. (eds.) Mathematicians and Education Reform. Issues in Mathematics Education, vol. 3, pp. 1990–1991. American Mathematical Society, Providence (1993)

    Google Scholar 

  20. Fetzer, J.H.: Program verification: the very idea. Communications of the ACM 31(9), 1048–1063 (1988)

    Article  Google Scholar 

  21. Forsythe, G.E.: A university’s educational program in computer science. Communications of the ACM 10(1), 3–11 (1967)

    Article  Google Scholar 

  22. Forsythe, G.E.: What to do till the computer scientist comes. American Mathematical Monthly 75, 454–461 (1968)

    Article  MathSciNet  MATH  Google Scholar 

  23. Galler, B.A.: Letter from a past president: Distinction of computer science. Communications of the ACM 17(6), 300 (1974)

    Article  Google Scholar 

  24. Gibbs, W.W.: Software’s chronic crisis. Scientific American 271(3), 86–95 (1994)

    Article  Google Scholar 

  25. Haigh, T.: The history of information technology. Annual Review of Information Science and Technology 45(1), 431–487 (2011)

    Article  Google Scholar 

  26. Hoare, C.A.R.: The mathematics of programming. In: Maheshwari, S.N. (ed.) FSTTCS 1985. LNCS, vol. 206, pp. 1–18. Springer, Heidelberg (1985)

    Chapter  Google Scholar 

  27. Hoare, C.A.R.: Retrospective: An axiomatic basis for computer programming. Communications of the ACM 52(10), 30–32 (2009)

    Article  Google Scholar 

  28. Hodges, A.: Alan Turing: The Enigma. Vintage Books, London (1983)

    MATH  Google Scholar 

  29. Holloway, C.M.: Software engineering and epistemology. SIGSOFT Software Engineering Notes 20(2), 20–21 (1995)

    Article  Google Scholar 

  30. Johnson, D.S.: A theoretician’s guide to the experimental analysis of algorithms. In: Goldwasser, M.H., Johnson, D.S., McGeoch, C.C. (eds.) Data Structures, Near Neighbor Searches, and Methodology: Fifth and Sixth DIMACS Implementation Challenges. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 59, pp. 215–250. American Mathematical Society, Providence (2002)

    Google Scholar 

  31. Knuth, D.E.: Algorithmic thinking and mathematical thinking. American Mathematical Monthly 92, 170–181 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  32. Mahoney, M.S.: Histories of Computing. Harvard University Press, Cambridge (2011)

    Google Scholar 

  33. McCorduck, P.: An interview with Louis Fein. Charles Babbage Institute, The Center for the History of Information Processing (May 9, 1979)

    Google Scholar 

  34. McCracken, D.D., Denning, P.J., Brandin, D.H.: An ACM executive committee position on the crisis in experimental computer science. Communications of the ACM 22(9), 503–504 (1979)

    Article  Google Scholar 

  35. Naur, P., Randell, B. (eds.): Software Engineering: Report on a Conference Sponsored by the Nato Science Committee, Garmisch, Germany, October 7-11. NATO Scientific Affairs Division, Brussels (1968, 1969)

    Google Scholar 

  36. Newell, A., Perlis, A.J., Simon, H.A.: Computer science. Science 157(3795), 1373–1374 (1967)

    Article  Google Scholar 

  37. Palvia, P., Mao, E., Salam, A.F., Soliman, K.S.: Management information systems research: What’s there in a methodology? Communications of the Association for Information Systems 11(16), 1–32 (2003)

    Google Scholar 

  38. Peisert, S., Bishop, M.: I am a scientist, not a philosopher! IEEE Security and Privacy 5(4), 48–51 (2007)

    Article  Google Scholar 

  39. Ralston, A.: Computer science, mathematics, and the undergraduate curricula in both. The American Mathematical Monthly 88(7), 472–485 (1981)

    Article  MathSciNet  Google Scholar 

  40. Ralston, A., Shaw, M.: Curriculum ’78–is computer science really that unmathematical? Communications of the ACM 23(2), 67–70 (1980)

    Article  Google Scholar 

  41. Reilly, E.D.: Milestones in Computer Science and Information Technology. Greenwood Press, Westport (2003)

    Google Scholar 

  42. Rice, J.R., Rosen, S.: Computer sciences at Purdue University–1962 to 2000. IEEE Annals of the History of Computing 26(2), 48–61 (2004)

    Article  MathSciNet  Google Scholar 

  43. Simon, H.A.: The Sciences of the Artificial, 1st edn. MIT Press, Cambridge (1969)

    Google Scholar 

  44. Smith, B.C.: Limits of correctness in computers. Technical Report CSLI-85-36, Center for the Study of Language and Information, Stanford University, Stanford, CA, USA (1985)

    Google Scholar 

  45. Sommerville, I.: Software Engineering. Addison-Wesley, Bedford Square (1982)

    MATH  Google Scholar 

  46. Spier, M.J.: A critical look at the state of our science. SIGOPS Operating Systems Review 8(2), 9–15 (1974)

    Article  Google Scholar 

  47. Tedre, M.: Computing as a science: A survey of competing viewpoints. Minds & Machines 21(3), 361–387 (2011)

    Article  Google Scholar 

  48. Wegner, P.: Research paradigms in computer science. In: ICSE 1976: Proceedings of the 2nd International Conference on Software Engineering, pp. 322–330. IEEE Computer Society Press, Los Alamitos (1976)

    Google Scholar 

  49. Williams, S.B.: The association for computing machinery. Journal of the ACM 1(1), 1–3 (1954)

    Article  Google Scholar 

  50. Wood, H.M.: Computer society celebrates 50 years. IEEE Annals of the History of Computing 17(4), 6 (1995)

    Article  Google Scholar 

  51. Zelkowitz, M.V., Wallace, D.R.: Experimental validation in software engineering. Information and Software Technology 39(11), 735–743 (1997)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Systems Sciences, Stockholm University, Stockholm, Sweden

    Matti Tedre

Authors
  1. Matti Tedre
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento die Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano-Bicocca, Piazza dell’Ateneo Nuovo 1, 20126, Milan, Italy

    Paola Bonizzoni

  2. Institute for Theoretical Computer Science, Mathematics and Operations Research, Faculty of Computer Science, Universität der Bundeswehr München, Werner-Heisenberg-Weg 39, 85577, Neubiberg, Germany

    Vasco Brattka

  3. Institute for Logic, Language and Computation, University of Amsterdam, Postbus 94242, 1090 GE, Amsterdam, The Netherlands

    Benedikt Löwe

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

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. https://doi.org/10.1007/978-3-642-39053-1_48

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-39053-1_48

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-39052-4

  • Online ISBN: 978-3-642-39053-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation