{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T02:52:39Z","timestamp":1725936759288},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319732091"},{"type":"electronic","value":"9783319732107"}],"license":[{"start":{"date-parts":[[2017,12,27]],"date-time":"2017-12-27T00:00:00Z","timestamp":1514332800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,12,27]],"date-time":"2017-12-27T00:00:00Z","timestamp":1514332800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-73210-7_11","type":"book-chapter","created":{"date-parts":[[2017,12,26]],"date-time":"2017-12-26T04:03:33Z","timestamp":1514261013000},"page":"86-95","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Evaluating Collaborative Learning Using Community of Inquiry Framework for a Blended Learning Formal Methods Course"],"prefix":"10.1007","author":[{"given":"Saad","family":"Zafar","sequence":"first","affiliation":[]},{"given":"Naurin Farooq","family":"Khan","sequence":"additional","affiliation":[]},{"given":"Seema","family":"Hussain","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,27]]},"reference":[{"issue":"3","key":"11_CR1","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s00165-008-0069-4","volume":"21","author":"W Schreiner","year":"2009","unstructured":"Schreiner, W.: The RISC ProofNavigator: a proving assistant for program verification in the classroom. Form. Asp. Comput. 21(3), 277\u2013291 (2009)","journal-title":"Form. Asp. Comput."},{"issue":"3","key":"11_CR2","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1145\/1140123.1140181","volume":"38","author":"I Dony","year":"2006","unstructured":"Dony, I., Le Charlier, B.: A tool for helping teach a programming method. ACM SIGCSE Bull. 38(3), 212\u2013216 (2006)","journal-title":"ACM SIGCSE Bull."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Gopalakrishnan, G., et al.: Some resources for teaching concurrency. In: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, p. 2 (2009)","DOI":"10.1145\/1639622.1639624"},{"key":"11_CR4","unstructured":"Watson, J.: Promising Practices in Online Learning: Blended Learning: the Convergence of Online and Face-to-Face Education. North American Council for Online Learning (2008)"},{"volume-title":"Using Moodle: Teaching with the Popular Open Source Course Management System","year":"2007","author":"J Cole","key":"11_CR5","unstructured":"Cole, J., Foster, H.: Using Moodle: Teaching with the Popular Open Source Course Management System. O\u2019Reilly Media Inc., Sebastopol (2007)"},{"issue":"2","key":"11_CR6","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S1096-7516(00)00016-6","volume":"2","author":"DR Garrison","year":"1999","unstructured":"Garrison, D.R., Anderson, T., Archer, W.: Critical inquiry in a text-based environment: computer conferencing in higher education. Internet High. Educ. 2(2), 87\u2013105 (1999)","journal-title":"Internet High. Educ."},{"key":"11_CR7","unstructured":"Habrias, H.: Teaching specifications, hands on. In: Formal Methods in Computer Science Education (FORMED), pp. 5\u201315 (2008)"},{"key":"11_CR8","unstructured":"Barbu, A., Mourlin, F.: Enhancing student understanding of formal method through prototyping. Formal Methods in the Teaching Lab, p. 85 (2006)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Paige, R.F., Ostroff, J.S.: Specification-driven design with Eiffel and agents for teaching lightweight formal methods. In: International Conference on Technical Formal Methods, pp. 107\u2013123 (2004)","DOI":"10.1007\/978-3-540-30472-2_7"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Henz, M., Hobor, A.: Teaching experience: logic and formal methods with Coq. In: International Conference on Certified Programs and Proofs, pp. 199\u2013215 (2011)","DOI":"10.1007\/978-3-642-25379-9_16"},{"issue":"1","key":"11_CR11","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1023\/B:JARS.0000021872.64036.41","volume":"32","author":"C Walther","year":"2004","unstructured":"Walther, C., Schweitzer, S.: Verification in the Classroom. J. Autom. Reason. 32(1), 35\u201373 (2004)","journal-title":"J. Autom. Reason."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Ahrendt, W., Bubel, R., H\u00e4hnle, R.: Integrated and tool-supported teaching of testing, debugging, and verification. In: International Conference on Technical Formal Methods, pp. 125\u2013143 (2009)","DOI":"10.1007\/978-3-642-04912-5_9"},{"key":"11_CR13","unstructured":"Miller, A., Cutts, Q.: The use of an electronic voting system in a formal methods course. In: Workshop on Formal Methods in the Teaching Lab (FM-Ed 2006), pp. 3\u20138 (2006)"},{"key":"11_CR14","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/191033.191079","volume":"26","author":"K-K Lau","year":"1994","unstructured":"Lau, K.-K., Bush, V.J., Jinks, P.J.: Towards an introductory formal programming course. ACM SIGCSE Bull. 26, 121\u2013125 (1994)","journal-title":"ACM SIGCSE Bull."},{"key":"11_CR15","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1145\/1539024.1509011","volume":"41","author":"SH Rodger","year":"2009","unstructured":"Rodger, S.H., Wiebe, E., Lee, K.M., Morgan, C., Omar, K., Su, J.: Increasing engagement in automata theory with JFLAP. ACM SIGCSE Bull. 41, 403\u2013407 (2009)","journal-title":"ACM SIGCSE Bull."},{"key":"11_CR16","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1145\/1227504.1227382","volume":"39","author":"K-K Lau","year":"2007","unstructured":"Lau, K.-K.: Active learning sheets for a beginner\u2019s course on reasoning about imperative programs. ACM SIGCSE Bull. 39, 198\u2013202 (2007)","journal-title":"ACM SIGCSE Bull."},{"key":"11_CR17","unstructured":"Graham, C.R.: Blended learning systems. In: The Handbook of Blended Learning, pp. 3\u201321 (2006)"},{"issue":"1","key":"11_CR18","doi-asserted-by":"crossref","first-page":"25","DOI":"10.5204\/ssj.v7i1.299","volume":"7","author":"R Garner","year":"2016","unstructured":"Garner, R., Rouse, E.: Social presence\u2013connecting pre-service teachers as learners using a blended learning model. Stud. Success 7(1), 25\u201336 (2016)","journal-title":"Stud. Success"},{"key":"11_CR19","unstructured":"Pelliccione, L., Broadley, T.: RU there yet? using virtual classrooms to transform teaching practice. In: Curriculum, Technology and Transformation for an Unknown Future. Proceedings Ascilite Sydney, pp. 749\u2013760 (2010)"},{"key":"11_CR20","doi-asserted-by":"crossref","DOI":"10.4018\/978-1-60566-296-1","volume-title":"Effective Blended Learning Practices: Evidence-Based Perspectives in ICT-Facilitated Education: Evidence-Based Perspectives in ICT-Facilitated Education","author":"E Stacey","year":"2009","unstructured":"Stacey, E.: Effective Blended Learning Practices: Evidence-Based Perspectives in ICT-Facilitated Education: Evidence-Based Perspectives in ICT-Facilitated Education. IGI Global, New York (2009)"},{"issue":"3","key":"11_CR21","doi-asserted-by":"crossref","first-page":"307","DOI":"10.14742\/ajet.1255","volume":"23","author":"W Chen","year":"2007","unstructured":"Chen, W., Looi, C.-K.: Incorporating online discussion in face to face classroom learning: a new blended learning approach. Australas. J. Educ. Technol. 23(3), 307\u2013326 (2007)","journal-title":"Australas. J. Educ. Technol."},{"key":"11_CR22","unstructured":"On-line education: a new domain*. \nhttp:\/\/www.bdp.it\/rete\/im\/harasim1.htm\n\n. Accessed 05 May 2017"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Gay, G., Sturgill, A., Martin, W., Huttenlocher, D.: Document\u2010centered peer collaborations: an exploration of the educational uses of networked communication technologies. J. Comput. Commun. 4(3) (1999)","DOI":"10.1111\/j.1083-6101.1999.tb00099.x"},{"issue":"3","key":"11_CR24","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1080\/08923649909527033","volume":"13","author":"C Vrasidas","year":"1999","unstructured":"Vrasidas, C., McIsaac, M.S.: Factors influencing interaction in an online course. Am. J. Distance Educ. 13(3), 22\u201336 (1999)","journal-title":"Am. J. Distance Educ."},{"issue":"3","key":"11_CR25","doi-asserted-by":"crossref","first-page":"243","DOI":"10.2190\/7PPF-FQBJ-1RJM-CACT","volume":"14","author":"LF Ruberg","year":"1996","unstructured":"Ruberg, L.F., Moore, D.M., Taylor, C.D.: Student participation, interaction, and regulation in a computer-mediated communication environment: a qualitative study. J. Educ. Comput. Res. 14(3), 243\u2013268 (1996)","journal-title":"J. Educ. Comput. Res."},{"key":"11_CR26","unstructured":"Prain, V., Lyons, L.: Using information and communication technologies in English: an Australian perspective. In: English in the Digital Age. Cassell Education, London (2000)"},{"issue":"1","key":"11_CR27","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.iheduc.2009.10.003","volume":"13","author":"DR Garrison","year":"2010","unstructured":"Garrison, D.R., Anderson, T., Archer, W.: The first decade of the community of inquiry framework: A retrospective. Internet High. Educ. 13(1), 5\u20139 (2010)","journal-title":"Internet High. Educ."},{"key":"11_CR28","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/j.compedu.2014.10.015","volume":"81","author":"E Szeto","year":"2015","unstructured":"Szeto, E.: Community of Inquiry as an instructional approach: what effects of teaching, social and cognitive presences are there in blended synchronous learning and teaching? Comput. Educ. 81, 191\u2013201 (2015)","journal-title":"Comput. Educ."},{"issue":"1","key":"11_CR29","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1080\/08923640109527071","volume":"15","author":"DR Garrison","year":"2001","unstructured":"Garrison, D.R., Anderson, T., Archer, W.: Critical thinking, cognitive presence, and computer conferencing in distance education. Am. J. Distance Educ. 15(1), 7\u201323 (2001)","journal-title":"Am. J. Distance Educ."},{"key":"11_CR30","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1016\/j.iheduc.2016.07.004","volume":"31","author":"RT Morueta","year":"2016","unstructured":"Morueta, R.T., L\u00f3pez, P.M., G\u00f3mez, \u00c1.H., Harris, V.W.: Exploring social and cognitive presences in communities of inquiry to perform higher cognitive tasks. Internet High. Educ. 31, 122\u2013131 (2016)","journal-title":"Internet High. Educ."},{"issue":"2","key":"11_CR31","first-page":"50","volume":"14","author":"L Rourke","year":"2007","unstructured":"Rourke, L., Anderson, T., Garrison, D.R., Archer, W.: Assessing social presence in asynchronous text-based computer conferencing. Int. J. E-Learn. Distance Educ. 14(2), 50\u201371 (2007)","journal-title":"Int. J. E-Learn. Distance Educ."}],"container-title":["Advances in Intelligent Systems and Computing","Teaching and Learning in a Digital World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73210-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,20]],"date-time":"2018-03-20T21:40:54Z","timestamp":1521582054000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73210-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,27]]},"ISBN":["9783319732091","9783319732107"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73210-7_11","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017,12,27]]}}}