{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T10:06:42Z","timestamp":1743156402071,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":51,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390524"},{"type":"electronic","value":"9783642390531"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39053-1_48","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T04:28:12Z","timestamp":1370233692000},"page":"404-413","source":"Crossref","is-referenced-by-count":0,"title":["Three Debates about Computing"],"prefix":"10.1007","author":[{"given":"Matti","family":"Tedre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"48_CR1","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/85.859525","volume":"22","author":"W. Aspray","year":"2000","unstructured":"Aspray, W.: Was early entry a competitive advantage? US universities that entered computing in the 1940s. IEEE Annals of the History of Computing\u00a022(3), 42\u201387 (2000)","journal-title":"IEEE Annals of the History of Computing"},{"issue":"3","key":"48_CR2","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/362929.362976","volume":"11","author":"W.F. Atchison","year":"1968","unstructured":"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\u00a011(3), 151\u2013197 (1968)","journal-title":"Communications of the ACM"},{"issue":"11","key":"48_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1297797.1297819","volume":"50","author":"V.R. Basili","year":"2007","unstructured":"Basili, V.R., Zelkowitz, M.V.: Empirical studies to build a science of computer science. Communications of the ACM\u00a050(11), 33\u201337 (2007)","journal-title":"Communications of the ACM"},{"issue":"4","key":"48_CR4","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"F.P. Brooks Jr.","year":"1987","unstructured":"Brooks Jr., F.P.: No silver bullet: Essence and accidents of software engineering. IEEE Computer\u00a020(4), 10\u201319 (1987)","journal-title":"IEEE Computer"},{"key":"48_CR5","volume-title":"Computer: A History of the Information Machine","author":"M. Campbell-Kelly","year":"2004","unstructured":"Campbell-Kelly, M., Aspray, W.: Computer: A History of the Information Machine, 2nd edn. Westview Press, Oxford (2004)","edition":"2"},{"issue":"9","key":"48_CR6","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1145\/365559.366069","volume":"8","author":"S.D. Conte","year":"1965","unstructured":"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\u2013preliminary recommendations. Communications of the ACM\u00a08(9), 543\u2013552 (1965)","journal-title":"Communications of the ACM"},{"issue":"5","key":"48_CR7","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/359104.359106","volume":"22","author":"R.A. De Millo","year":"1979","unstructured":"De Millo, R.A., Lipton, R.J., Perlis, A.J.: Social processes and proofs of theorems and programs. Communications of the ACM\u00a022(5), 271\u2013280 (1979)","journal-title":"Communications of the ACM"},{"issue":"1","key":"48_CR8","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/63238.63239","volume":"32","author":"P.J. Denning","year":"1989","unstructured":"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\u00a032(1), 9\u201323 (1989)","journal-title":"Communications of the ACM"},{"issue":"10","key":"48_CR9","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1145\/355604.361591","volume":"15","author":"E.W. Dijkstra","year":"1972","unstructured":"Dijkstra, E.W.: The humble programmer. Communications of the ACM\u00a015(10), 859\u2013866 (1972)","journal-title":"Communications of the ACM"},{"issue":"6","key":"48_CR10","doi-asserted-by":"publisher","first-page":"608","DOI":"10.2307\/2319209","volume":"81","author":"E.W. Dijkstra","year":"1974","unstructured":"Dijkstra, E.W.: Programming as a discipline of mathematical nature. American Mathematical Monthly\u00a081(6), 608\u2013612 (1974)","journal-title":"American Mathematical Monthly"},{"issue":"1","key":"48_CR11","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/BF03023921","volume":"8","author":"E.W. Dijkstra","year":"1986","unstructured":"Dijkstra, E.W.: On a cultural gap. The Mathematical Intelligencer\u00a08(1), 48\u201352 (1986)","journal-title":"The Mathematical Intelligencer"},{"issue":"12","key":"48_CR12","first-page":"1398","volume":"32","author":"E.W. Dijkstra","year":"1989","unstructured":"Dijkstra, E.W.: On the cruelty of really teaching computer science. Communications of the ACM\u00a032(12), 1398\u20131404 (1989)","journal-title":"Communications of the ACM"},{"key":"48_CR13","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-1-4612-0685-9_4","volume-title":"Beyond Calculation: The Next Fifty Years of Computing","author":"E.W. Dijkstra","year":"1997","unstructured":"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\u201364. Springer, New York (1997)"},{"issue":"2","key":"48_CR14","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/s11023-007-9060-8","volume":"17","author":"A.H. Eden","year":"2007","unstructured":"Eden, A.H.: Three paradigms of computer science. Minds & Machines\u00a017(2), 135\u2013167 (2007)","journal-title":"Minds & Machines"},{"issue":"4","key":"48_CR15","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/382222.382460","volume":"8","author":"L.G. Egan","year":"1976","unstructured":"Egan, L.G.: Closing the \u201cgap\u201d between the university and industry in computer science. SIGCSE Bulletin\u00a08(4), 19\u201325 (1976)","journal-title":"SIGCSE Bulletin"},{"issue":"4","key":"48_CR16","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/85.969964","volume":"23","author":"N.L. Ensmenger","year":"2001","unstructured":"Ensmenger, N.L.: The \u2019question of professionalism\u2019 in the computer fields. IEEE Annals of the History of Computing\u00a023(4), 56\u201374 (2001)","journal-title":"IEEE Annals of the History of Computing"},{"issue":"9","key":"48_CR17","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/368424.368427","volume":"2","author":"L. Fein","year":"1959","unstructured":"Fein, L.: The role of the university in computers, data processing, and related fields. Communications of the ACM\u00a02(9), 7\u201314 (1959)","journal-title":"Communications of the ACM"},{"issue":"9","key":"48_CR18","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1145\/359146.359147","volume":"22","author":"J.A. Feldman","year":"1979","unstructured":"Feldman, J.A., Sutherland, W.R.: Rejuvenating experimental computer science: A report to the National Science Foundation and others. Communications of the ACM\u00a022(9), 497\u2013502 (1979)","journal-title":"Communications of the ACM"},{"key":"48_CR19","series-title":"Issues in Mathematics Education","first-page":"1990","volume-title":"Mathematicians and Education Reform","author":"M.R. Fellows","year":"1993","unstructured":"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.\u00a03, pp. 1990\u20131991. American Mathematical Society, Providence (1993)"},{"issue":"9","key":"48_CR20","doi-asserted-by":"publisher","first-page":"1048","DOI":"10.1145\/48529.48530","volume":"31","author":"J.H. Fetzer","year":"1988","unstructured":"Fetzer, J.H.: Program verification: the very idea. Communications of the ACM\u00a031(9), 1048\u20131063 (1988)","journal-title":"Communications of the ACM"},{"issue":"1","key":"48_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/363018.363038","volume":"10","author":"G.E. Forsythe","year":"1967","unstructured":"Forsythe, G.E.: A university\u2019s educational program in computer science. Communications of the ACM\u00a010(1), 3\u201311 (1967)","journal-title":"Communications of the ACM"},{"key":"48_CR22","doi-asserted-by":"publisher","first-page":"454","DOI":"10.2307\/2314698","volume":"75","author":"G.E. Forsythe","year":"1968","unstructured":"Forsythe, G.E.: What to do till the computer scientist comes. American Mathematical Monthly\u00a075, 454\u2013461 (1968)","journal-title":"American Mathematical Monthly"},{"issue":"6","key":"48_CR23","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1145\/355616.361014","volume":"17","author":"B.A. Galler","year":"1974","unstructured":"Galler, B.A.: Letter from a past president: Distinction of computer science. Communications of the ACM\u00a017(6), 300 (1974)","journal-title":"Communications of the ACM"},{"issue":"3","key":"48_CR24","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1038\/scientificamerican0994-86","volume":"271","author":"W.W. Gibbs","year":"1994","unstructured":"Gibbs, W.W.: Software\u2019s chronic crisis. Scientific American\u00a0271(3), 86\u201395 (1994)","journal-title":"Scientific American"},{"issue":"1","key":"48_CR25","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1002\/aris.2011.1440450116","volume":"45","author":"T. Haigh","year":"2011","unstructured":"Haigh, T.: The history of information technology. Annual Review of Information Science and Technology\u00a045(1), 431\u2013487 (2011)","journal-title":"Annual Review of Information Science and Technology"},{"key":"48_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-16042-6_1","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: The mathematics of programming. In: Maheshwari, S.N. (ed.) FSTTCS 1985. LNCS, vol.\u00a0206, pp. 1\u201318. Springer, Heidelberg (1985)"},{"issue":"10","key":"48_CR27","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/1562764.1562779","volume":"52","author":"C.A.R. Hoare","year":"2009","unstructured":"Hoare, C.A.R.: Retrospective: An axiomatic basis for computer programming. Communications of the ACM\u00a052(10), 30\u201332 (2009)","journal-title":"Communications of the ACM"},{"key":"48_CR28","volume-title":"Alan Turing: The Enigma","author":"A. Hodges","year":"1983","unstructured":"Hodges, A.: Alan Turing: The Enigma. Vintage Books, London (1983)"},{"issue":"2","key":"48_CR29","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/224155.565638","volume":"20","author":"C.M. Holloway","year":"1995","unstructured":"Holloway, C.M.: Software engineering and epistemology. SIGSOFT Software Engineering Notes\u00a020(2), 20\u201321 (1995)","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"48_CR30","series-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1090\/dimacs\/059\/11","volume-title":"Data Structures, Near Neighbor Searches, and Methodology: Fifth and Sixth DIMACS Implementation Challenges","author":"D.S. Johnson","year":"2002","unstructured":"Johnson, D.S.: A theoretician\u2019s 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.\u00a059, pp. 215\u2013250. American Mathematical Society, Providence (2002)"},{"key":"48_CR31","doi-asserted-by":"publisher","first-page":"170","DOI":"10.2307\/2322871","volume":"92","author":"D.E. Knuth","year":"1985","unstructured":"Knuth, D.E.: Algorithmic thinking and mathematical thinking. American Mathematical Monthly\u00a092, 170\u2013181 (1985)","journal-title":"American Mathematical Monthly"},{"key":"48_CR32","doi-asserted-by":"crossref","DOI":"10.2307\/j.ctv22jnsb3","volume-title":"Histories of Computing","author":"M.S. Mahoney","year":"2011","unstructured":"Mahoney, M.S.: Histories of Computing. Harvard University Press, Cambridge (2011)"},{"key":"48_CR33","unstructured":"McCorduck, P.: An interview with Louis Fein. Charles Babbage Institute, The Center for the History of Information Processing (May 9, 1979)"},{"issue":"9","key":"48_CR34","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1145\/359146.362786","volume":"22","author":"D.D. McCracken","year":"1979","unstructured":"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\u00a022(9), 503\u2013504 (1979)","journal-title":"Communications of the ACM"},{"volume-title":"Software Engineering: Report on a Conference Sponsored by the Nato Science Committee","year":"1968","key":"48_CR35","unstructured":"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)"},{"issue":"3795","key":"48_CR36","doi-asserted-by":"publisher","first-page":"1373","DOI":"10.1126\/science.157.3795.1373-b","volume":"157","author":"A. Newell","year":"1967","unstructured":"Newell, A., Perlis, A.J., Simon, H.A.: Computer science. Science\u00a0157(3795), 1373\u20131374 (1967)","journal-title":"Science"},{"issue":"16","key":"48_CR37","first-page":"1","volume":"11","author":"P. Palvia","year":"2003","unstructured":"Palvia, P., Mao, E., Salam, A.F., Soliman, K.S.: Management information systems research: What\u2019s there in a methodology? Communications of the Association for Information Systems\u00a011(16), 1\u201332 (2003)","journal-title":"Communications of the Association for Information Systems"},{"issue":"4","key":"48_CR38","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/MSP.2007.84","volume":"5","author":"S. Peisert","year":"2007","unstructured":"Peisert, S., Bishop, M.: I am a scientist, not a philosopher! IEEE Security and Privacy\u00a05(4), 48\u201351 (2007)","journal-title":"IEEE Security and Privacy"},{"issue":"7","key":"48_CR39","doi-asserted-by":"publisher","first-page":"472","DOI":"10.2307\/2321752","volume":"88","author":"A. Ralston","year":"1981","unstructured":"Ralston, A.: Computer science, mathematics, and the undergraduate curricula in both. The American Mathematical Monthly\u00a088(7), 472\u2013485 (1981)","journal-title":"The American Mathematical Monthly"},{"issue":"2","key":"48_CR40","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/358818.358820","volume":"23","author":"A. Ralston","year":"1980","unstructured":"Ralston, A., Shaw, M.: Curriculum \u201978\u2013is computer science really that unmathematical? Communications of the ACM\u00a023(2), 67\u201370 (1980)","journal-title":"Communications of the ACM"},{"key":"48_CR41","volume-title":"Milestones in Computer Science and Information Technology","author":"E.D. Reilly","year":"2003","unstructured":"Reilly, E.D.: Milestones in Computer Science and Information Technology. Greenwood Press, Westport (2003)"},{"issue":"2","key":"48_CR42","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/MAHC.2004.1299659","volume":"26","author":"J.R. Rice","year":"2004","unstructured":"Rice, J.R., Rosen, S.: Computer sciences at Purdue University\u20131962 to 2000. IEEE Annals of the History of Computing\u00a026(2), 48\u201361 (2004)","journal-title":"IEEE Annals of the History of Computing"},{"key":"48_CR43","volume-title":"The Sciences of the Artificial","author":"H.A. Simon","year":"1969","unstructured":"Simon, H.A.: The Sciences of the Artificial, 1st edn. MIT Press, Cambridge (1969)","edition":"1"},{"key":"48_CR44","unstructured":"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)"},{"key":"48_CR45","volume-title":"Software Engineering","author":"I. Sommerville","year":"1982","unstructured":"Sommerville, I.: Software Engineering. Addison-Wesley, Bedford Square (1982)"},{"issue":"2","key":"48_CR46","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/775271.775273","volume":"8","author":"M.J. Spier","year":"1974","unstructured":"Spier, M.J.: A critical look at the state of our science. SIGOPS Operating Systems Review\u00a08(2), 9\u201315 (1974)","journal-title":"SIGOPS Operating Systems Review"},{"issue":"3","key":"48_CR47","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s11023-011-9240-4","volume":"21","author":"M. Tedre","year":"2011","unstructured":"Tedre, M.: Computing as a science: A survey of competing viewpoints. Minds & Machines\u00a021(3), 361\u2013387 (2011)","journal-title":"Minds & Machines"},{"key":"48_CR48","first-page":"322","volume-title":"ICSE 1976: Proceedings of the 2nd International Conference on Software Engineering","author":"P. Wegner","year":"1976","unstructured":"Wegner, P.: Research paradigms in computer science. In: ICSE 1976: Proceedings of the 2nd International Conference on Software Engineering, pp. 322\u2013330. IEEE Computer Society Press, Los Alamitos (1976)"},{"issue":"1","key":"48_CR49","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/320764.320765","volume":"1","author":"S.B. Williams","year":"1954","unstructured":"Williams, S.B.: The association for computing machinery. Journal of the ACM\u00a01(1), 1\u20133 (1954)","journal-title":"Journal of the ACM"},{"issue":"4","key":"48_CR50","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/MAHC.1995.477432","volume":"17","author":"H.M. Wood","year":"1995","unstructured":"Wood, H.M.: Computer society celebrates 50 years. IEEE Annals of the History of Computing\u00a017(4), 6 (1995)","journal-title":"IEEE Annals of the History of Computing"},{"issue":"11","key":"48_CR51","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1016\/S0950-5849(97)00025-6","volume":"39","author":"M.V. Zelkowitz","year":"1997","unstructured":"Zelkowitz, M.V., Wallace, D.R.: Experimental validation in software engineering. Information and Software Technology\u00a039(11), 735\u2013743 (1997)","journal-title":"Information and Software Technology"}],"container-title":["Lecture Notes in Computer Science","The Nature of Computation. Logic, Algorithms, Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39053-1_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T14:28:01Z","timestamp":1675780081000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39053-1_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390524","9783642390531"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39053-1_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}