Partial Correctness and Continuous Integration in Computer Supported Education

Daniela Fonte, Ismael Vilas Boas, Nuno Oliveira, Daniela da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques

2014

Abstract

In this paper we support the idea that students and teachers will benefit from a computer-based system that assesses programming exercises and provide immediate and detailed feedback: students would be able to evolve in the right direction and teachers would follow and assess more fairly their students. This assessment should outperform the typical right/wrong evaluation returned by existing tools, allowing for a flexible partial evaluation. Moreover, we adopt a concept from Agile Development, the Continuous Integration (CI), to improve students’ effectiveness. The applicability of CI reflects a better monitoring by the teams and their individual members, also providing the ability to improve the speed of the development. Besides the description of the capabilities that we require from an Automatic Grading System (AGS), we discuss iQuimera, an improved AGS that we are working on, that implements our teaching/learning principles.

Paper Citation

in Harvard Style

Fonte D., Vilas Boas I., Oliveira N., da Cruz D., Lopes Gançarski A. and Rangel Henriques P. (2014). Partial Correctness and Continuous Integration in Computer Supported Education . In Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU, ISBN 978-989-758-021-5, pages 205-212. DOI: 10.5220/0004848802050212

in Bibtex Style

@conference{csedu14,
author={Daniela Fonte and Ismael Vilas Boas and Nuno Oliveira and Daniela da Cruz and Alda Lopes Gançarski and Pedro Rangel Henriques},
title={Partial Correctness and Continuous Integration in Computer Supported Education},
booktitle={Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU,},
year={2014},
pages={205-212},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004848802050212},
isbn={978-989-758-021-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU,
TI - Partial Correctness and Continuous Integration in Computer Supported Education
SN - 978-989-758-021-5
AU - Fonte D.
AU - Vilas Boas I.
AU - Oliveira N.
AU - da Cruz D.
AU - Lopes Gançarski A.
AU - Rangel Henriques P.
PY - 2014
SP - 205
EP - 212
DO - 10.5220/0004848802050212