{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:03Z","timestamp":1750221003412,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,26]],"date-time":"2019-08-26T00:00:00Z","timestamp":1566777600000},"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":[[2019,8,26]]},"DOI":"10.1145\/3340435.3342717","type":"proceedings-article","created":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T12:38:04Z","timestamp":1565267884000},"page":"27-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Does learning by doing have a positive impact on teaching model checking?"],"prefix":"10.1145","author":[{"given":"Andreea","family":"Vescan","sequence":"first","affiliation":[{"name":"Babes-Bolyai University, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,8,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"accessed","author":"Scientific Journal Searching","year":"2019","unstructured":"Searching for Scientific Journal Articles modu le Academic Skills Support Resources. accessed 2019 . Library , University of Guelph. https:\/\/www.lib.uoguelph. ca\/sites\/default\/files\/student_worksheet.pdf. Searching for Scientific Journal Articles module Academic Skills Support Resources. accessed 2019. Library, University of Guelph. https:\/\/www.lib.uoguelph. ca\/sites\/default\/files\/student_worksheet.pdf."},{"key":"e_1_3_2_1_2_1","volume-title":"Publication manual of the American Psychological Association","author":"American Psychological Association 2010.","unstructured":"American Psychological Association 2010. Publication manual of the American Psychological Association ( 6 th ed.) (6 ed.). American Psychological Association , Washington, DC , US. American Psychological Association 2010. Publication manual of the American Psychological Association (6th ed.) (6 ed.). American Psychological Association, Washington, DC, US.","edition":"6"},{"key":"e_1_3_2_1_3_1","volume-title":"Teaching Software Model Checking. In Workshop on Formal Methods in Computer Science Education (ENTCS). Elsevier","author":"Artho Cyrille","year":"2008","unstructured":"Cyrille Artho , Kenji Taguchi , Yasuyuki Tahara , Shinichi Honiden , and Yoshinori Tanabe . 2008 . Teaching Software Model Checking. In Workshop on Formal Methods in Computer Science Education (ENTCS). Elsevier , Budapest, Hungary, 171\u2013179. Cyrille Artho, Kenji Taguchi, Yasuyuki Tahara, Shinichi Honiden, and Yoshinori Tanabe. 2008. Teaching Software Model Checking. In Workshop on Formal Methods in Computer Science Education (ENTCS). Elsevier, Budapest, Hungary, 171\u2013179."},{"volume-title":"Principles of Model Checking (Representation and Mind Series)","author":"Baier Christel","key":"e_1_3_2_1_4_1","unstructured":"Christel Baier and Joost-Pieter Katoen . 2008. Principles of Model Checking (Representation and Mind Series) . The MIT Press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking (Representation and Mind Series). The MIT Press."},{"key":"e_1_3_2_1_5_1","unstructured":"Mordechai Ben-Ari. {n.d.}. Principles of the Spin Model Checker (1 ed.).   Mordechai Ben-Ari. {n.d.}. Principles of the Spin Model Checker (1 ed.)."},{"key":"e_1_3_2_1_6_1","volume-title":"First Workshop on Formal Methods in Software Engineering Education and Training, FMSEET","author":"Bordihn Henning","year":"2015","unstructured":"Henning Bordihn , Anna-Lena Lamprecht , and Tiziana Margaria . 2015 . Foundations of Semantics and Model Checking in a Software Engineering Course . In First Workshop on Formal Methods in Software Engineering Education and Training, FMSEET 2015. 19\u201326. Henning Bordihn, Anna-Lena Lamprecht, and Tiziana Margaria. 2015. Foundations of Semantics and Model Checking in a Software Engineering Course. In First Workshop on Formal Methods in Software Engineering Education and Training, FMSEET 2015. 19\u201326."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1080\/03043790512331313868"},{"key":"e_1_3_2_1_8_1","volume-title":"International Workshop on the Role of Software Architecture in Analysis E(and) Testing)","volume":"24","author":"Ciancarini P.","unstructured":"P. Ciancarini and C. Mascolo . 1998. Model checking a software architecture . In International Workshop on the Role of Software Architecture in Analysis E(and) Testing) , Vol. 24 . 33\u201342. P. Ciancarini and C. Mascolo. 1998. Model checking a software architecture. In International Workshop on the Role of Software Architecture in Analysis E(and) Testing), Vol. 24. 33\u201342."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1037\/0003-066X.45.12.1304"},{"volume-title":"Experience And Education","author":"Dewey John","key":"e_1_3_2_1_10_1","unstructured":"John Dewey . 1938. Experience And Education . Simon and Schuster , New York, NY . John Dewey. 1938. Experience And Education. Simon and Schuster, New York, NY."},{"volume-title":"A Guide to Teaching and Learning Methods","author":"Gibbs Graham","key":"e_1_3_2_1_11_1","unstructured":"Graham Gibbs . 1998. Learning by Doing , A Guide to Teaching and Learning Methods . Oxford Centre for Staff and Learning Development . Graham Gibbs. 1998. Learning by Doing, A Guide to Teaching and Learning Methods. Oxford Centre for Staff and Learning Development."},{"volume-title":"Beginning Research in Psychology: A Practical Guide to Research Methods and Statistics","author":"Dyer C.","key":"e_1_3_2_1_12_1","unstructured":"C. J Dyer . 1995. Beginning Research in Psychology: A Practical Guide to Research Methods and Statistics . Blackwell Publishing . C. JDyer. 1995. Beginning Research in Psychology: A Practical Guide to Research Methods and Statistics. Blackwell Publishing."},{"key":"e_1_3_2_1_13_1","first-page":"85","article-title":"Cooperative learning: Improving university instruction by basing practice on validated theory","volume":"25","author":"Johnson D. W.","year":"2014","unstructured":"D. W. Johnson , R. T. Johnson , and K. A. Smith . 2014 . Cooperative learning: Improving university instruction by basing practice on validated theory . Journal on Excellence in College Teachin 25 , 3 (2014), 85 \u2013 118 . D. W. Johnson, R. T. Johnson, and K. A. Smith. 2014. Cooperative learning: Improving university instruction by basing practice on validated theory. Journal on Excellence in College Teachin 25, 3 (2014), 85\u2013118.","journal-title":"Journal on Excellence in College Teachin"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-016-6192-0"},{"volume-title":"Experiential learning: experience as the source of learning and development","author":"Kolb D.A.","key":"e_1_3_2_1_15_1","unstructured":"D.A. Kolb . 1984. Experiential learning: experience as the source of learning and development . Prentice Hall , Englewood Cliffs, NJ . D.A. Kolb. 1984. Experiential learning: experience as the source of learning and development. Prentice Hall, Englewood Cliffs, NJ."},{"key":"e_1_3_2_1_16_1","unstructured":"D. A. Kolb and R. E. Fry. 1974. Toward an applied theory of experiential learning. OMIT Alfred P. Sloan School of Management.  D. A. Kolb and R. E. Fry. 1974. Toward an applied theory of experiential learning. OMIT Alfred P. Sloan School of Management."},{"volume-title":"A dynamic theory of personality","author":"Lewin K","key":"e_1_3_2_1_17_1","unstructured":"K Lewin . 1935. A dynamic theory of personality . New York, NY : Mc-Graw-Hill . K Lewin. 1935. A dynamic theory of personality. New York, NY: Mc-Graw-Hill."},{"key":"e_1_3_2_1_18_1","first-page":"81","article-title":"The efficient management of academic learning","volume":"1","author":"Manea Adriana Denisa","year":"2014","unstructured":"Adriana Denisa Manea . 2014 . The efficient management of academic learning . Studia Universitatis Babes-Bolyai Psychologia-Pedagogia 1 , 1 (2014), 81 \u2013 89 . Adriana Denisa Manea. 2014. The efficient management of academic learning. Studia Universitatis Babes-Bolyai Psychologia-Pedagogia 1, 1 (2014), 81\u201389.","journal-title":"Studia Universitatis Babes-Bolyai Psychologia-Pedagogia"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0447-x"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80893-4"},{"key":"e_1_3_2_1_21_1","first-page":"45","article-title":"Teaching Model Checking to Undergraduates. Universitatis Babes-Bolyai","author":"Vescan A.","year":"2010","unstructured":"A. Vescan and M Frentiu . 2010 . Teaching Model Checking to Undergraduates. Universitatis Babes-Bolyai , Series Informatica LV , 3 (2010), 45 \u2013 50 . A. Vescan and M Frentiu. 2010. Teaching Model Checking to Undergraduates. Universitatis Babes-Bolyai, Series Informatica LV, 3 (2010), 45\u201350.","journal-title":"Series Informatica"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2012.12"}],"event":{"name":"ESEC\/FSE '19: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Tallinn Estonia","acronym":"ESEC\/FSE '19"},"container-title":["Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3340435.3342717","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3340435.3342717","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:48Z","timestamp":1750206348000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3340435.3342717"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,26]]},"references-count":22,"alternative-id":["10.1145\/3340435.3342717","10.1145\/3340435"],"URL":"https:\/\/doi.org\/10.1145\/3340435.3342717","relation":{},"subject":[],"published":{"date-parts":[[2019,8,26]]},"assertion":[{"value":"2019-08-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}