You are here:

Using Model Checking to Automatically Mark Graphical E-Learning Exercises
PROCEEDINGS

, , , 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 .

Keywords

References

View References & Citations Map

These references have been extracted automatically and may have some errors. Signed in users can suggest corrections to these mistakes.

Suggest Corrections to References