{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:12Z","timestamp":1750220772261,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,5,22]],"date-time":"2020-05-22T00:00:00Z","timestamp":1590105600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,5,22]]},"DOI":"10.1145\/3393527.3393529","type":"proceedings-article","created":{"date-parts":[[2020,10,27]],"date-time":"2020-10-27T02:21:28Z","timestamp":1603765288000},"page":"9-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Quality-Driven and Abstraction-Oriented Software Construction Course Design"],"prefix":"10.1145","author":[{"given":"Zhongjie","family":"Wang","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Harbin Institute of Technology, Harbin, Heilongjiang, China"}]},{"given":"Hanchuan","family":"Xu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Harbin Institute of Technology, Harbin, Heilongjiang, China"}]},{"given":"Ming","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Harbin Institute of Technology, Harbin, Heilongjiang, China"}]},{"given":"Xiaofei","family":"Xu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Harbin Institute of Technology, Harbin, Heilongjiang, China"}]}],"member":"320","published-online":{"date-parts":[[2020,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.18293\/SEKE2015-226"},{"key":"e_1_3_2_1_2_1","unstructured":"Jonathan Aldrich and Charlie Garrod. 2019. CMU Course 15--214: Principles of Software Construction: Objects Design and Concurrency. http:\/\/www.cs.cmu.edu\/~aldrich\/214.  Jonathan Aldrich and Charlie Garrod. 2019. CMU Course 15--214: Principles of Software Construction: Objects Design and Concurrency. http:\/\/www.cs.cmu.edu\/~aldrich\/214."},{"key":"e_1_3_2_1_3_1","volume-title":"SWEBOK v3.0: Guide to the software engineering body of knowledge","author":"Bourque Pierre","year":"2014","unstructured":"Pierre Bourque and Richard E Fairley . 2014. SWEBOK v3.0: Guide to the software engineering body of knowledge . IEEE Computer Society ( 2014 ), 1--335. Pierre Bourque and Richard E Fairley. 2014. SWEBOK v3.0: Guide to the software engineering body of knowledge. IEEE Computer Society (2014), 1--335."},{"key":"e_1_3_2_1_4_1","volume-title":"Workshop\/School\/Symposium of the REX Project (Research and Education in Concurrent Systems). Springer, 151--178","author":"Cook William R","year":"1990","unstructured":"William R Cook . 1990 . Object-oriented programming versus abstract data types . In Workshop\/School\/Symposium of the REX Project (Research and Education in Concurrent Systems). Springer, 151--178 . William R Cook. 1990. Object-oriented programming versus abstract data types. In Workshop\/School\/Symposium of the REX Project (Research and Education in Concurrent Systems). Springer, 151--178."},{"key":"e_1_3_2_1_5_1","volume-title":"International Conference on Software Engineering. Springer, 115--127","author":"Ghezzi Carlo","year":"2005","unstructured":"Carlo Ghezzi and Dino Mandrioli . 2005 . The challenges of software engineering education . In International Conference on Software Engineering. Springer, 115--127 . Carlo Ghezzi and Dino Mandrioli. 2005. The challenges of software engineering education. In International Conference on Software Engineering. Springer, 115--127."},{"key":"e_1_3_2_1_6_1","unstructured":"Max Goldman and Rob Miller. 2019. MIT Course 6.031: Software Construction. http:\/\/web.mit.edu\/6.031.  Max Goldman and Rob Miller. 2019. MIT Course 6.031: Software Construction. http:\/\/web.mit.edu\/6.031."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2325296.2325331"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232743.1232745"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIEECT.2017.7916550"},{"key":"e_1_3_2_1_10_1","first-page":"51","article-title":"Teaching programming with computational and informational thinking","volume":"5","author":"Michaelson Greg","year":"2015","unstructured":"Greg Michaelson . 2015 . Teaching programming with computational and informational thinking . Journal of Pedagogic Development 5 (2015), 51 -- 65 . Greg Michaelson. 2015. Teaching programming with computational and informational thinking. Journal of Pedagogic Development 5 (2015), 51--65.","journal-title":"Journal of Pedagogic Development"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/938983.939720"}],"event":{"name":"ACM TURC'20: ACM Turing Celebration Conference - China","sponsor":["Baidu Research Baidu Research"],"location":"Hefei China","acronym":"ACM TURC'20"},"container-title":["Proceedings of the ACM Turing Celebration Conference - China"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3393527.3393529","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3393527.3393529","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:17Z","timestamp":1750200077000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3393527.3393529"}},"subtitle":["To Fill the Gap between Programming and Software Engineering Courses"],"short-title":[],"issued":{"date-parts":[[2020,5,22]]},"references-count":11,"alternative-id":["10.1145\/3393527.3393529","10.1145\/3393527"],"URL":"https:\/\/doi.org\/10.1145\/3393527.3393529","relation":{},"subject":[],"published":{"date-parts":[[2020,5,22]]},"assertion":[{"value":"2020-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}