Using Model Checking to Automatically Mark Graphical E-Learning Exercises
PROCEEDINGS
Siepermann Markus, Richard Lackes, Chris Börgermann, University of Dortmund, Germany
EdMedia + Innovate Learning, in Vienna, Austria ISBN 978-1-880094-65-5 Publisher: Association for the Advancement of Computing in Education (AACE), Waynesville, NC
Abstract
Graphical modelling techniques are one of the most used methods in university teaching. This paper presents the concept and realisation of an e-learning tool that allows to define and practise with e-learning exercises for event driven process chain modelling that is a representative for those graphical modelling techniques. The presented e-learning tool automatically marks the student’s solutions by using temporal logic and model checking.
Citation
Markus, S., Lackes, R. & Börgermann, C. (2008). Using Model Checking to Automatically Mark Graphical E-Learning Exercises. In J. Luca & E. Weippl (Eds.), Proceedings of ED-MEDIA 2008--World Conference on Educational Multimedia, Hypermedia & Telecommunications (pp. 5302-5307). Vienna, Austria: Association for the Advancement of Computing in Education (AACE). Retrieved March 28, 2024 from https://www.learntechlib.org/primary/p/29111/.
© 2008 Association for the Advancement of Computing in Education (AACE)
Keywords
References
View References & Citations Map- Bolliger, D., & Martindale, T. (2004). Key Factors for Determining Student Satisfaction in Online Courses. International Journal on E-Learning, (3), 61-67.
- Bruns, H. (2002). How to choose the right eLearning technique? Overview and recommendations. In: Bruns, H., & Ambrosi, G.M. (Eds.). ELearning and Economics, Norderstedt: Books on Demand, 17-25.
- Clarke, E.M., Grumberg, O. & Peled, D.A. (2001). Model Checking. Cambridge London: The MIT Press.
- Glowalla, U., & Glowalla, G. & Görlich, S. (2004). Verbessern von Vorlesungen durch E-Learning Komponenten. I-com, 3 (2), 57-62.
- Haack, J. (2002). Interaktivit ä t als Zeichen von Multimedia und Hypermedia. In: Issing, L.J, & Klimsa, P. (Eds.). Information und Lernen mit Multimedia und Internet. Weinheim: BeltzPVU, 127-136.
- Huth, M. & Ryan, M. (2000). Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge: Cambridge University Press.
- Issing, L.J. (2002). Instruktions-Design fü r Multimedia. In: Issing, L.J, & Klimsa, P. (Eds.). Information und Lernen mit Multimedia und Internet. Weinheim: BeltzPVU, 151-176.
- Kerres, M., & Jechle, T.(2002). Didaktische Konzeption des Telelernens. In: Issing, L.J, & Klimsa, P. (Eds.). Information und Lernen mit Multimedia und Internet. Weinheim: BeltzPVU, 267-281.
- König, M. (2001). E-Learning und Management von technischem Wissen in einer webbasierten Informationsumgebung. Duisburg: Druckerei Duennbier.
- Kwan, R., & Chan, C., & Lui, A. (2004). Reaching an Itopia in distance learning– A case study. AACE Journal, 12(2), 171-187.
- Lackes, R., & Siepermann, M. (2007). Bru-N-O’ Mat – Automatically Generating and Marking Net Requirements Calculation Exercises. In: Richards, G. (Ed.). Proceedings of E-Learn 2007. Chesapeake: Association for the Advancement of Computing in Education, 7198-7204.
- Patel, A. & Kinshuk (1996). Intelligent Tutoring Tools– A problem solving framework for learning and assessment. In: M.F.
- Siepermann, M. (2005). Lecture Accompanying E-Learning Exercises with Automatic Marking. In: Richards, G. (Ed.). Proceedings of E-Learn 2005. Chesapeake: Association for the Advancement of Computing in Education, 1750-1755.
- Siepermann, M. & Lackes, R. (2007). Self-Generating and Automatic Marking of Exercises in Production Planning. In: Isaias, P., & Nunes, M.B., & Barroso, J. (Eds.). Proceedings of the IADIS International Conference WWW/Internet 2007. Volume II, International Association for Development of the Information Society, 13-17.
- Strzebkowski, R., & Kleeberg, N. (2002). Interaktivit ä t und Pr ä sentation als Komponenten multimedialer Lernanwendungen. In: Issing, L.J, & Klimsa, P. (Eds.). Information und Lernen mit Multimedia und Internet. Weinheim: BeltzPVU, 229-245.
- Weidenmann, B.(2002). Multicodierung und Multimodalit ä t im Lernprozeß. In: Issing, L.J. & Klimsa, P. (Eds.). Information und Lernen mit Multimedia und Internet. Weinheim: BeltzPVU, 45-62.
These references have been extracted automatically and may have some errors. Signed in users can suggest corrections to these mistakes.
Suggest Corrections to References