Automatic analysis of programming assignments
Zusammenfassung
In a virtual university, advanced support for all aspects of handling assignments is needed. Homework assignments are particularly in need of help because communication between teachers and learners as well as between learners is not as easy as in presence universities. In this paper, we present an overview of the $AT(x)$ approach (analyze-and-test) for automatically analyzing and testing programs. We describe how $AT(x)$ is used for giving feedback to students working on programming exercises. The $AT(x)$ framework is instantiated to $AT(P)$ and $AT(S)$ aiming at programs written in Prolog and Scheme, respectively.
- Vollständige Referenz
- BibTeX
Beierle, C., Kula, M. & Widera, M.,
(2003).
Automatic analysis of programming assignments.
In:
Bode, A., Desel, J., Rathmeyer, S. & Wessner, M.
(Hrsg.),
DeLFI 2003, Tagungsband der 1. e-Learning Fachtagung Informatik, 16.-18. September 2003 in Garching bei München..
Bonn:
Gesellschaft für Informatik e.V..
(S. 144-153).
@inproceedings{mci/Beierle2003,
author = {Beierle, Christoph AND Kula, Marjaa AND Widera, Manfred},
title = {Automatic analysis of programming assignments},
booktitle = {DeLFI 2003, Tagungsband der 1. e-Learning Fachtagung Informatik, 16.-18. September 2003 in Garching bei München.},
year = {2003},
editor = {Bode, Arndt AND Desel, Jörg AND Rathmeyer, Sabine AND Wessner, Martin} ,
pages = { 144-153 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
author = {Beierle, Christoph AND Kula, Marjaa AND Widera, Manfred},
title = {Automatic analysis of programming assignments},
booktitle = {DeLFI 2003, Tagungsband der 1. e-Learning Fachtagung Informatik, 16.-18. September 2003 in Garching bei München.},
year = {2003},
editor = {Bode, Arndt AND Desel, Jörg AND Rathmeyer, Sabine AND Wessner, Martin} ,
pages = { 144-153 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
| Dateien | Groesse | Format | Anzeige | |
|---|---|---|---|---|
| GI-Proceedings.37-17.pdf | 161.7Kb | Öffnen |
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISBN: 3-88579-366-0
ISSN: 1617-5468
Datum: 2003
Sprache:
(en)
(en)
Typ: Text/Conference Paper

