loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Daniel Baudisch ; Manuel Gesell and Klaus Schneider

Affiliation: University of Kaiserslautern, Germany

ISBN: 978-989-8111-82-1

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.207.136.184

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Baudisch D.; Gesell M.; Schneider K. and (2009). ONLINE EXERCISE SYSTEM - A Web-Based Tool for Administration and Automatic Correction of Exercises.In Proceedings of the First International Conference on Computer Supported Education - Volume 1: CSEDU, ISBN 978-989-8111-82-1, pages 104-110. DOI: 10.5220/0001978801040110

@conference{csedu09,
author={Daniel Baudisch and Manuel Gesell and Klaus Schneider},
title={ONLINE EXERCISE SYSTEM - A Web-Based Tool for Administration and Automatic Correction of Exercises},
booktitle={Proceedings of the First International Conference on Computer Supported Education - Volume 1: CSEDU,},
year={2009},
pages={104-110},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001978801040110},
isbn={978-989-8111-82-1},
}

TY - CONF

JO - Proceedings of the First International Conference on Computer Supported Education - Volume 1: CSEDU,
TI - ONLINE EXERCISE SYSTEM - A Web-Based Tool for Administration and Automatic Correction of Exercises
SN - 978-989-8111-82-1
AU - Baudisch, D.
AU - Gesell, M.
AU - Schneider, K.
PY - 2009
SP - 104
EP - 110
DO - 10.5220/0001978801040110

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.