{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:33:51Z","timestamp":1750221231927,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,14]],"date-time":"2018-06-14T00:00:00Z","timestamp":1528934400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1646691"],"award-info":[{"award-number":["1646691"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["1611714"],"award-info":[{"award-number":["1611714"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,14]]},"DOI":"10.1145\/3209087.3209100","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T12:16:01Z","timestamp":1528805761000},"page":"18-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["An Activity-Based Undergraduate Software Engineering Course to Engage Students and Encourage Learning"],"prefix":"10.1145","author":[{"given":"Eileen T.","family":"Kraemer","sequence":"first","affiliation":[{"name":"School of Computing, Clemson University, Clemson, SC USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murali","family":"Sitaraman","sequence":"additional","affiliation":[{"name":"School of Computing, Clemson University, Clemson, SC USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Hollingsworth","sequence":"additional","affiliation":[{"name":"Computer Science Department, Indiana University Southeast, New Albany, IN"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Eison","author":"Bonwell Charles C.","year":"1991","unstructured":"Charles C. Bonwell , and James A . Eison . 1991 . Active Learning : Creating Excitement in the Classroom. 1991 ASHE-ERIC Higher Education Reports. ERIC Clearinghouse on Higher Education, The George Washington University, One Dupont Circle, Suite 630, Washington, DC 20036-1183. Charles C. Bonwell, and James A. Eison. 1991. Active Learning: Creating Excitement in the Classroom. 1991 ASHE-ERIC Higher Education Reports. ERIC Clearinghouse on Higher Education, The George Washington University, One Dupont Circle, Suite 630, Washington, DC 20036-1183."},{"volume-title":"Collaborative learning: Higher education, interdependence, and the authority of knowledge","author":"Bruffee Kenneth A.","key":"e_1_3_2_1_2_1","unstructured":"Kenneth A. Bruffee . 1993. Collaborative learning: Higher education, interdependence, and the authority of knowledge . Johns Hopkins University Press , 2715 N. Charles Street, Baltimore, MD 21218-4319. Kenneth A. Bruffee. 1993. Collaborative learning: Higher education, interdependence, and the authority of knowledge. Johns Hopkins University Press, 2715 N. Charles Street, Baltimore, MD 21218-4319."},{"key":"e_1_3_2_1_3_1","volume-title":"Gamson","author":"Chickering Arthur W.","year":"1987","unstructured":"Arthur W. Chickering and Zelda F . Gamson . 1987 . Seven principles for good practice in undergraduate education. AAHE bulletin, 3, 7. Arthur W. Chickering and Zelda F. Gamson. 1987. Seven principles for good practice in undergraduate education. AAHE bulletin, 3, 7."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337423"},{"volume-title":"Proc. 26th Conference on Software Engineering Education and Training, IEEE.","author":"Cook Charles T.","key":"e_1_3_2_1_5_1","unstructured":"Charles T. Cook , Svetlana Drachova , Yu-Shan Sun , Murali Sitaraman , Jeff Carver , and Joseph E. Hollingsworth . 2013. Specification and Reasoning in SE Projects Using a Web-IDE . Proc. 26th Conference on Software Engineering Education and Training, IEEE. Charles T. Cook, Svetlana Drachova, Yu-Shan Sun, Murali Sitaraman, Jeff Carver, and Joseph E. Hollingsworth. 2013. Specification and Reasoning in SE Projects Using a Web-IDE. Proc. 26th Conference on Software Engineering Education and Training, IEEE."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2716316"},{"key":"e_1_3_2_1_7_1","first-page":"286","article-title":"Reaching the second tier","volume":"23","author":"Felder Richard M.","year":"1993","unstructured":"Richard M. Felder . 1993 . Reaching the second tier . Journal of College Science Teaching , 23 , 5, 286 -- 290 . Richard M. Felder. 1993. Reaching the second tier. Journal of College Science Teaching, 23, 5, 286--290.","journal-title":"Journal of College Science Teaching"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2899415.2899424"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1319030111"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/961511.961548"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1181901.1181908"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSEET.2017.40"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2538862.2538969"},{"key":"e_1_3_2_1_14_1","volume-title":"EPTCS","author":"Kabbani Nabil M.","year":"2015","unstructured":"Nabil M. Kabbani , Daniel W. Welch , Caleb Priester , Stephen Schaub , Blair Durkee , Yu-Shan. Sun, and Murali Sitaraman , 2015. Formal Reasoning Using an Iterative Approach with an Integrated Web IDE,\" In Proceedings 2nd International Workshop on Formal Integrated Development Environment , EPTCS 187, June 2015 , 56--71. Nabil M. Kabbani, Daniel W. Welch, Caleb Priester, Stephen Schaub, Blair Durkee, Yu-Shan. Sun, and Murali Sitaraman, 2015. Formal Reasoning Using an Iterative Approach with an Integrated Web IDE,\" In Proceedings 2nd International Workshop on Formal Integrated Development Environment, EPTCS 187, June 2015, 56--71."},{"key":"e_1_3_2_1_15_1","volume-title":"The 1st Verified Software Competition: Experience Report. In FM 2011: Formal Methods, Proceedings 17th International Symposium on Formal Methods, Springer LNCS 6664","author":"Klebanov Victor","year":"2011","unstructured":"Victor Klebanov , , 2011 . The 1st Verified Software Competition: Experience Report. In FM 2011: Formal Methods, Proceedings 17th International Symposium on Formal Methods, Springer LNCS 6664 , 154--168. Victor Klebanov, et al., 2011. The 1st Verified Software Competition: Experience Report. In FM 2011: Formal Methods, Proceedings 17th International Symposium on Formal Methods, Springer LNCS 6664, 154--168."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1119\/1.2162549"},{"key":"e_1_3_2_1_18_1","unstructured":"Steve Olson and Donna Gerardi Riordan. 2012. Engage to Excel: Producing One Million Additional College Graduates with Degrees in Science Technology Engineering and Mathematics. Report to the President. Executive Office of the President.  Steve Olson and Donna Gerardi Riordan. 2012. Engage to Excel: Producing One Million Additional College Graduates with Degrees in Science Technology Engineering and Mathematics. Report to the President. Executive Office of the President."},{"key":"e_1_3_2_1_19_1","volume-title":"TFM","author":"Paige R. F.","year":"2004","unstructured":"R. F. Paige and J. S. Ostroff , 2004. Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. In: Dean C.N., Boute R.T. (eds) Teaching Formal Methods . TFM 2004 . Lecture Notes in Computer Science, vol 3294. Springer, Berlin, Heidelberg. R. F. Paige and J. S. Ostroff, 2004. Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. In: Dean C.N., Boute R.T. (eds) Teaching Formal Methods. TFM 2004. Lecture Notes in Computer Science, vol 3294. Springer, Berlin, Heidelberg."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04912-5_7"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1047846.1047852"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSEET.2016.28"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.2168-9830.2004.tb00809.x"},{"volume-title":"Talking about leaving: Why undergraduates leave the sciences","author":"Seymour Elaine","key":"e_1_3_2_1_24_1","unstructured":"Elaine Seymour . 2000. Talking about leaving: Why undergraduates leave the sciences . Westview Press . Elaine Seymour. 2000. Talking about leaving: Why undergraduates leave the sciences. Westview Press."},{"volume-title":"Discipline-based education research","author":"Singer Susan R.","key":"e_1_3_2_1_25_1","unstructured":"Susan R. Singer , Natalie R. Nielsen , and Heidi A Schweingruber . 2012. Discipline-based education research . Washington, DC : The National Academies . Susan R. Singer, Natalie R. Nielsen, and Heidi A Schweingruber. 2012. Discipline-based education research. Washington, DC: The National Academies."},{"key":"e_1_3_2_1_26_1","volume-title":"ACM SIGSOFT Software Engineering Notes","author":"Sitaraman Murali","year":"1994","unstructured":"Murali Sitaraman and Bruce W. Weide . 1994. Special Feature on RESOLVE , ACM SIGSOFT Software Engineering Notes , October 1994 , 21--68. Murali Sitaraman and Bruce W. Weide. 1994. Special Feature on RESOLVE, ACM SIGSOFT Software Engineering Notes, October 1994, 21--68."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0154-3"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1734263.1734436"},{"issue":"5","key":"e_1_3_2_1_29_1","first-page":"71","article-title":"Synthesis of research of cooperative learning","volume":"48","author":"Slavin Robert E.","year":"1991","unstructured":"Robert E. Slavin . 1991 . Synthesis of research of cooperative learning . Educational Leadership 48 . 5 , 71 -- 82 . Robert E. Slavin. 1991. Synthesis of research of cooperative learning. Educational Leadership 48.5, 71--82.","journal-title":"Educational Leadership"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1177\/0092055X0603400304"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/6138.6145"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1080\/00091383.1990.9937642"},{"volume-title":"Pair programming illuminated","author":"Williams Laurie","key":"e_1_3_2_1_33_1","unstructured":"Laurie Williams and Robert Kessler . 2002. Pair programming illuminated . Addison-Wesley Longman Publishing Co., Inc. Laurie Williams and Robert Kessler. 2002. Pair programming illuminated. Addison-Wesley Longman Publishing Co., Inc."}],"event":{"name":"ECSEE'18: European Conference of Software Engineering Education 2018","sponsor":["GI Gesellschaft f\u00fcr Informatik e.V.","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Seeon\/ Bavaria Germany","acronym":"ECSEE'18"},"container-title":["Proceedings of the 3rd European Conference of Software Engineering Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209087.3209100","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3209087.3209100","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3209087.3209100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:06Z","timestamp":1750212426000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3209087.3209100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,14]]},"references-count":33,"alternative-id":["10.1145\/3209087.3209100","10.1145\/3209087"],"URL":"https:\/\/doi.org\/10.1145\/3209087.3209100","relation":{},"subject":[],"published":{"date-parts":[[2018,6,14]]},"assertion":[{"value":"2018-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}