{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:33:04Z","timestamp":1725593584255},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642222023"},{"type":"electronic","value":"9783642222030"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22203-0_2","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T00:26:28Z","timestamp":1309220788000},"page":"15-24","source":"Crossref","is-referenced-by-count":0,"title":["On the Relationship between Proof Writing and Programming: Some Conclusions for Teaching Future Software Developers"],"prefix":"10.1007","author":[{"given":"Michael","family":"Hartwig","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1042091.1042109","volume":"48","author":"J. Crowcroft","year":"2005","unstructured":"Crowcroft, J.: On the nature of computing. Communications of the ACM\u00a048(2), 19\u201320 (2005)","journal-title":"Communications of the ACM"},{"key":"2_CR2","unstructured":"Calude, C., Calude, E., Marcus, S.: Passages of Proof. Bulletin of the EATCS 84, 167\u2013188 (2004)"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"142","DOI":"10.2307\/2322651","volume":"92","author":"M. Friske","year":"1985","unstructured":"Friske, M.: Teaching Proofs: A Lesson from Software Engineering. The American Mathematical Monthly\u00a092, 142\u2013144 (1985)","journal-title":"The American Mathematical Monthly"},{"key":"2_CR4","unstructured":"Daly, C., Waldron, J.: Introductory Programming, Problem Solving and Computer Assisted Assessment (2002)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Calude, C., Calude, E., Marcus, S.: Proving and Programming. CDMTCS Research Report Series 06 (2007)","DOI":"10.1142\/9789812770837_0018"},{"issue":"4","key":"2_CR6","first-page":"13","volume":"48","author":"S. Duncan","year":"2005","unstructured":"Duncan, S.: Response to John Crowcroft. Communications of the ACM\u00a048(4), 13 (2005)","journal-title":"Communications of the ACM"},{"issue":"4","key":"2_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/1053291.1053309","volume":"48","author":"P.J. Denning","year":"2005","unstructured":"Denning, P.J.: Is computer science science? Communications of the ACM\u00a048(4), 27\u201331 (2005)","journal-title":"Communications of the ACM"},{"issue":"11","key":"2_CR8","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/581571.581582","volume":"45","author":"P.G. Armour","year":"2002","unstructured":"Armour, P.G.: Ten unmyths of project estimation. Communications of the ACM\u00a045(11), 15\u201318 (2002)","journal-title":"Communications of the ACM"},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/971617.971635","volume":"47","author":"P.G. Armour","year":"2004","unstructured":"Armour, P.G.: Beware of counting LOC. Communications of the ACM\u00a047(3), 21\u201324 (2004)","journal-title":"Communications of the ACM"},{"issue":"10","key":"2_CR10","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/1022594.1022609","volume":"47","author":"P.G. Armour","year":"2004","unstructured":"Armour, P.G.: Not-defect: the mature discipline of testing. Communications of the ACM\u00a047(10), 15\u201318 (2004)","journal-title":"Communications of the ACM"},{"issue":"1","key":"2_CR11","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/1039539.1039554","volume":"48","author":"P.G. Armour","year":"2005","unstructured":"Armour, P.G.: The unconscious art of software testing. Communications of the ACM\u00a048(1), 15\u201318 (2005)","journal-title":"Communications of the ACM"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Nonaka, I., Takeuchi, H.: The Knowledge Creating Company. Oxford University Press, Oxford (1995)","DOI":"10.1093\/oso\/9780195092691.001.0001"},{"issue":"8","key":"2_CR13","first-page":"671","volume":"9","author":"J.L. Rice","year":"2005","unstructured":"Rice, J.L., Rice, B.S.: The applicability of the SECI model to multi organisational endeavours: an integrative review. International Journal of Organisational Behaviour\u00a09(8), 671\u2013682 (2005)","journal-title":"International Journal of Organisational Behaviour"},{"key":"2_CR14","unstructured":"Kutay, C., Aurum, A.: Validation of SECI Model in Education. Technical Report 0524, The University of New South Wales, Sydney, Australia (2005)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Chatti, M.A., Klamma, R., Jarke, M., Naeve, A.: The Web 2.0 Driven SECI Model Based Learning Process. In: ICALT, pp. 780\u2013782 (2007)","DOI":"10.1109\/ICALT.2007.256"},{"issue":"5","key":"2_CR16","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/359104.359106","volume":"22","author":"R.A. DeMillo","year":"1979","unstructured":"DeMillo, 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":"10","key":"2_CR17","first-page":"89","volume":"10","author":"J. Robertson","year":"2009","unstructured":"Robertson, J.: Computer science outreach: Meeting the kids halfway. Commun. ACM\u00a010(10), 89 (2009)","journal-title":"Commun. ACM"}],"container-title":["Communications in Computer and Information Science","Software Engineering and Computer Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22203-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T05:59:29Z","timestamp":1712555969000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22203-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642222023","9783642222030"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22203-0_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}