Authors:
Daniel Baudisch
;
Manuel Gesell
and
Klaus Schneider
Affiliation:
University of Kaiserslautern, Germany
Keyword(s):
CAT, CAL, Computer aided teaching, Computer aided learning, Online Exercise System (OnExSy), Webbased exercise tools, Submission, Automatic correction.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence and Decision Support Systems
;
Computer-Supported Education
;
e-Learning
;
Enterprise Information Systems
;
Information Technologies Supporting Learning
;
Intelligent Tutoring Systems
;
Virtual Learning Environments
;
Web-Based Learning, Wikis and Blogs
Abstract:
We describe OnExSy, our online exercise system that allows our students in computer science to submit their solutions to exercises via a web form. The system is not only able to automate the administration of the student accounts as done by many other comparable systems. In addition, our system is even able to automatically check the correctness of the submitted solutions and is able to provide a counterexample in case the solution is wrong. This feature is provided by modern formal verification tools that have also been developed in our research group. As a result, our tutors do not waste time for checking the correctness of the solutions of many students, and instead, can spend the saved time for an individual support of students. Moreover, the tool is available not only during the time when lectures are held, but also during holidays which is very important for the final preparation of the exam.