{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:17:41Z","timestamp":1763468261032,"version":"3.41.0"},"reference-count":40,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2015,8,19]],"date-time":"2015-08-19T00:00:00Z","timestamp":1439942400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004608","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-0811748, CCF-1161916, CNS-0745846, DUE-1022191, DUE-1022941"],"award-info":[{"award-number":["CCF-0811748, CCF-1161916, CNS-0745846, DUE-1022191, DUE-1022941"]}],"id":[{"id":"10.13039\/501100004608","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Educ."],"published-print":{"date-parts":[[2015,9,28]]},"abstract":"<jats:p>Undergraduate computer science students need to learn analytical reasoning skills to develop high-quality software and to understand why the software they develop works as specified. To accomplish this central educational objective, this article describes a systematic process of introducing reasoning skills into the curriculum and assessing how well students have learned those skills. To facilitate assessment, a comprehensive inventory of principles for reasoning about correctness that captures the finer details of basic skills that students need to learn has been defined and used. The principles can be taught at various levels of depth across the curriculum in a variety of courses.<\/jats:p>\n          <jats:p>The use of a particular instructional process is illustrated to inculcate reasoning principles across several iterations of a sophomore-level development foundations course and a junior-level software engineering course. The article summarizes how learning outcomes motivated by the inventory of reasoning principles lead to questions that in turn form the basis for a careful analysis of student understanding and for fine-tuning teaching interventions that together facilitate continuous improvements to instruction.<\/jats:p>","DOI":"10.1145\/2716316","type":"journal-article","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T14:08:55Z","timestamp":1440425335000},"page":"1-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment"],"prefix":"10.1145","volume":"15","author":[{"given":"Svetlana V.","family":"Drachova","sequence":"first","affiliation":[{"name":"Limestone College, Gaffney, SC"}]},{"given":"Jason O.","family":"Hallstrom","sequence":"additional","affiliation":[{"name":"Clemson University"}]},{"given":"Joseph E.","family":"Hollingsworth","sequence":"additional","affiliation":[{"name":"Indiana University Southeast, New Albany, IN"}]},{"given":"Joan","family":"Krone","sequence":"additional","affiliation":[{"name":"Denison University, Granville, OH"}]},{"given":"Rich","family":"Pak","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, SC"}]},{"given":"Murali","family":"Sitaraman","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, SC"}]}],"member":"320","published-online":{"date-parts":[[2015,8,19]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Retrieved","author":"ABET.","year":"2014","unstructured":"ABET. 2014 . Assessment Planning . Retrieved July 14, 2015, from http:\/\/abet.org\/assessment-planning\/. ABET. 2014. Assessment Planning. Retrieved July 14, 2015, from http:\/\/abet.org\/assessment-planning\/."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189215.1189182"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1731041.1731045"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1734263.1734397"},{"key":"e_1_2_1_5_1","unstructured":"B. S. Bloom M. Engelhart E. J. Furst W. H. Hill and D. R. Krathwohl. 1956. Taxonomy of Educational Objectives Handbook I: The Cognitive Domain. Longman New York NY.  B. S. Bloom M. Engelhart E. J. Furst W. H. Hill and D. R. Krathwohl. 1956. Taxonomy of Educational Objectives Handbook I: The Cognitive Domain. Longman New York NY."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/364447.364531"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0167-4"},{"volume-title":"A Web-Integrated Environment for Component-Based Reasoning. Master's Thesis","author":"Cook C. T.","key":"e_1_2_1_8_1","unstructured":"C. T. Cook . 2011. A Web-Integrated Environment for Component-Based Reasoning. Master's Thesis . Clemson University . C. T. Cook. 2011. A Web-Integrated Environment for Component-Based Reasoning. Master's Thesis. Clemson University."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2325296.2325378"},{"volume-title":"Proceedings of the 26th Conference on Software Engineering Education and Training (CSEE&T&rsquo;\u201913)","author":"Cook C. T.","key":"e_1_2_1_10_1","unstructured":"C. T. Cook , S. V. Drachova-Strang , Y.-S. Sun , M. Sitaraman , J. C. Carver , and J. E. Hollingsworth . 2013. Specification and reasoning in SE projects using a Web IDE . In Proceedings of the 26th Conference on Software Engineering Education and Training (CSEE&T&rsquo;\u201913) . IEEE, Los Alamitos, CA, 229--238. C. T. Cook, S. V. Drachova-Strang, Y.-S. Sun, M. Sitaraman, J. C. Carver, and J. E. Hollingsworth. 2013. Specification and reasoning in SE projects using a Web IDE. In Proceedings of the 26th Conference on Software Engineering Education and Training (CSEE&T&rsquo;\u201913). IEEE, Los Alamitos, CA, 229--238."},{"volume-title":"Proceedings of the 2012 International Conference on Software Engineering. IEEE","author":"Cook C. T.","key":"e_1_2_1_11_1","unstructured":"C. T. Cook , H. Harton , H. Smith , and M. Sitaraman . 2012b. Specification engineering and modular verification using a Web-integrated verifying compiler . In Proceedings of the 2012 International Conference on Software Engineering. IEEE , Los Alamitos, CA, 1379--1382. C. T. Cook, H. Harton, H. Smith, and M. Sitaraman. 2012b. Specification engineering and modular verification using a Web-integrated verifying compiler. In Proceedings of the 2012 International Conference on Software Engineering. IEEE, Los Alamitos, CA, 1379--1382."},{"key":"e_1_2_1_12_1","unstructured":"E. W. Dijkstra W. H. J. Feijen and J. Sterringa. 1988. A Method of Programming. Addison-Wesley.   E. W. Dijkstra W. H. J. Feijen and J. Sterringa. 1988. A Method of Programming. Addison-Wesley."},{"volume-title":"Proceedings of the Conference on Frontiers in Education.","author":"Drachova-Strang S.","key":"e_1_2_1_14_1","unstructured":"S. Drachova-Strang , M. Sitaraman , and J. Hollingsworth . 2011. Experimentation with tutors for teaching mathematical reasoning and specification . In Proceedings of the Conference on Frontiers in Education. S. Drachova-Strang, M. Sitaraman, and J. Hollingsworth. 2011. Experimentation with tutors for teaching mathematical reasoning and specification. In Proceedings of the Conference on Frontiers in Education."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.224"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/190679.190682"},{"volume-title":"Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 587--601","author":"Frias M. F.","key":"e_1_2_1_17_1","unstructured":"M. F. Frias , C. G. L. Pombo , and M. M. Moscato . 2007. Alloy analyzer+PVS in the analysis and verification of alloy specifications . In Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 587--601 . M. F. Frias, C. G. L. Pombo, and M. M. Moscato. 2007. Alloy analyzer+PVS in the analysis and verification of alloy specifications. In Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 587--601."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1037\/0033-2909.132.5.778"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352135.1352226"},{"volume-title":"The Science of Programming","author":"Gries D.","key":"e_1_2_1_20_1","unstructured":"D. Gries . 1981. The Science of Programming . Springer , Heidelberg, Germany . D. Gries. 1981. The Science of Programming. Springer, Heidelberg, Germany."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/364447.364754"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/903893.903919"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1734263.1734298"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1119\/1.2343497"},{"key":"e_1_2_1_25_1","volume-title":"SIGCSE Workshop 2012: Instructional Video Series. Retrieved","author":"Hollingsworth J. E.","year":"2012","unstructured":"J. E. Hollingsworth . 2012 . SIGCSE Workshop 2012: Instructional Video Series. Retrieved July 15, 2015, from http:\/\/www.cs.clemson.edu\/resolve\/teaching\/ed_ws\/sigcse2012\/index.html. J. E. Hollingsworth. 2012. SIGCSE Workshop 2012: Instructional Video Series. Retrieved July 15, 2015, from http:\/\/www.cs.clemson.edu\/resolve\/teaching\/ed_ws\/sigcse2012\/index.html."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/357474.355048"},{"volume-title":"Proceedings of the 33rd Annual Frontiers in Education Conference (FIE\u201903)","author":"Jacobi A.","key":"e_1_2_1_27_1","unstructured":"A. Jacobi , J. Martin , J. Mitchell , and T. Newell . 2003. A concept inventory for heat transfer . In Proceedings of the 33rd Annual Frontiers in Education Conference (FIE\u201903) . T3D-12--T3D-16. A. Jacobi, J. Martin, J. Mitchell, and T. Newell. 2003. A concept inventory for heat transfer. In Proceedings of the 33rd Annual Frontiers in Education Conference (FIE\u201903). T3D-12--T3D-16."},{"volume-title":"Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science","author":"Joint Task Force on Computing Curricula. 2013.","key":"e_1_2_1_28_1","unstructured":"Joint Task Force on Computing Curricula. 2013. Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science . ACM , New York, NY . Joint Task Force on Computing Curricula. 2013. Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science. ACM, New York, NY."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2157136.2157208"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1026487.1008100"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2402676.2402682"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508865.1509046"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/129093"},{"volume-title":"Proceedings of the 31st Annual Frontiers in Education Conference. F2A--F23","author":"Midkiff K. C.","key":"e_1_2_1_34_1","unstructured":"K. C. Midkiff , T. A. Litzinger , and D. Evans . 2001. Development of engineering thermodynamics concept inventory instruments . In Proceedings of the 31st Annual Frontiers in Education Conference. F2A--F23 . K. C. Midkiff, T. A. Litzinger, and D. Evans. 2001. Development of engineering thermodynamics concept inventory instruments. In Proceedings of the 31st Annual Frontiers in Education Conference. F2A--F23."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/APS.2002.1016436"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1900008.1900060"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0154-3"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1562877.1562899"},{"volume-title":"Proceedings of the 33rd Annual Conference on Frontiers in Education, IEEE","author":"Stone A.","key":"e_1_2_1_39_1","unstructured":"A. Stone , K. Allen , T. R. Rhoads , T. J. Murphy , R. L. Shehab , and C. Saha . 2003. The statistics concept inventory: A pilot study . In Proceedings of the 33rd Annual Conference on Frontiers in Education, IEEE , Los Alamitos, CA, T3D--1-6. A. Stone, K. Allen, T. R. Rhoads, T. J. Murphy, R. L. Shehab, and C. Saha. 2003. The statistics concept inventory: A pilot study. In Proceedings of the 33rd Annual Conference on Frontiers in Education, IEEE, Los Alamitos, CA, T3D--1-6."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1953163.1953200"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/1884866"}],"container-title":["ACM Transactions on Computing Education"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2716316","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2716316","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:43Z","timestamp":1750230043000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2716316"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,19]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,9,28]]}},"alternative-id":["10.1145\/2716316"],"URL":"https:\/\/doi.org\/10.1145\/2716316","relation":{},"ISSN":["1946-6226"],"issn-type":[{"type":"electronic","value":"1946-6226"}],"subject":[],"published":{"date-parts":[[2015,8,19]]},"assertion":[{"value":"2013-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-08-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}