Abstract
A Formal Methods course was taught using a blended-learning pedagogy at graduate level. The blended-learning environment was designed with the objective of improving the students’ learning experience and to address some of the inherent challenges of teaching FM. This study presents results of evaluating the contents of online discussion forums that were used in the course. The Community of Inquiry (CoI) framework was used to assess the level of collaborative learning by measuring social presence, teaching presence and cognitive presence of the participants. The results of the study show healthy levels of participation on all the three CoI dimensions. More importantly, there was no or little difference between mandatory and non-mandatory discussions. However, the discussion in mandatory forum was more open and organized on social front indicating an evolved sense of community and trust for time-critical and mission critical tasks within the course.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Schreiner, W.: The RISC ProofNavigator: a proving assistant for program verification in the classroom. Form. Asp. Comput. 21(3), 277–291 (2009)
Dony, I., Le Charlier, B.: A tool for helping teach a programming method. ACM SIGCSE Bull. 38(3), 212–216 (2006)
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)
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)
Cole, J., Foster, H.: Using Moodle: Teaching with the Popular Open Source Course Management System. O’Reilly Media Inc., Sebastopol (2007)
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–105 (1999)
Habrias, H.: Teaching specifications, hands on. In: Formal Methods in Computer Science Education (FORMED), pp. 5–15 (2008)
Barbu, A., Mourlin, F.: Enhancing student understanding of formal method through prototyping. Formal Methods in the Teaching Lab, p. 85 (2006)
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–123 (2004)
Henz, M., Hobor, A.: Teaching experience: logic and formal methods with Coq. In: International Conference on Certified Programs and Proofs, pp. 199–215 (2011)
Walther, C., Schweitzer, S.: Verification in the Classroom. J. Autom. Reason. 32(1), 35–73 (2004)
Ahrendt, W., Bubel, R., Hähnle, R.: Integrated and tool-supported teaching of testing, debugging, and verification. In: International Conference on Technical Formal Methods, pp. 125–143 (2009)
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–8 (2006)
Lau, K.-K., Bush, V.J., Jinks, P.J.: Towards an introductory formal programming course. ACM SIGCSE Bull. 26, 121–125 (1994)
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–407 (2009)
Lau, K.-K.: Active learning sheets for a beginner’s course on reasoning about imperative programs. ACM SIGCSE Bull. 39, 198–202 (2007)
Graham, C.R.: Blended learning systems. In: The Handbook of Blended Learning, pp. 3–21 (2006)
Garner, R., Rouse, E.: Social presence–connecting pre-service teachers as learners using a blended learning model. Stud. Success 7(1), 25–36 (2016)
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–760 (2010)
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)
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–326 (2007)
On-line education: a new domain*. http://www.bdp.it/rete/im/harasim1.htm. Accessed 05 May 2017
Gay, G., Sturgill, A., Martin, W., Huttenlocher, D.: Document‐centered peer collaborations: an exploration of the educational uses of networked communication technologies. J. Comput. Commun. 4(3) (1999)
Vrasidas, C., McIsaac, M.S.: Factors influencing interaction in an online course. Am. J. Distance Educ. 13(3), 22–36 (1999)
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–268 (1996)
Prain, V., Lyons, L.: Using information and communication technologies in English: an Australian perspective. In: English in the Digital Age. Cassell Education, London (2000)
Garrison, D.R., Anderson, T., Archer, W.: The first decade of the community of inquiry framework: A retrospective. Internet High. Educ. 13(1), 5–9 (2010)
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–201 (2015)
Garrison, D.R., Anderson, T., Archer, W.: Critical thinking, cognitive presence, and computer conferencing in distance education. Am. J. Distance Educ. 15(1), 7–23 (2001)
Morueta, R.T., López, P.M., Gómez, Á.H., Harris, V.W.: Exploring social and cognitive presences in communities of inquiry to perform higher cognitive tasks. Internet High. Educ. 31, 122–131 (2016)
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–71 (2007)
Acknowledgement
This research is part of a larger research project at Riphah International University WISH campus. The contributions of Dr. Aslam Asadi, Dr. Saba Riaz and Ms. Sadia Nadir are also acknowledged.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Zafar, S., Khan, N.F., Hussain, S. (2018). Evaluating Collaborative Learning Using Community of Inquiry Framework for a Blended Learning Formal Methods Course. In: Auer, M., Guralnick, D., Simonics, I. (eds) Teaching and Learning in a Digital World. ICL 2017. Advances in Intelligent Systems and Computing, vol 715. Springer, Cham. https://doi.org/10.1007/978-3-319-73210-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-73210-7_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-73209-1
Online ISBN: 978-3-319-73210-7
eBook Packages: EngineeringEngineering (R0)