User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

A tool for helping teach a programming method

Primary tabs

Dony, Isabelle [UCL] Le Charlier, Baudouin [UCL]

We present and discuss a tool that checks the correctness of simple programs constructed according to the structured programming method. The tool is intended to provide interesting feedback to students learning the programming method: it detects programming and/or reasoning errors and it provides typical counter-examples. We argue that our system is better adapted to our pedagogical context than other verification tools and we report on preliminary experiments with the tool in a third year programming course.

Document type Article de périodique (Journal article) – Article de recherche
Publication date 2006
Journal information "SIGCSE Bulletin" - Vol. 38, no. 3, p. 212-216 (2006)
Peer reviewed yes
Publisher Acm
issn 0097-8418
Publication status Publié
Affiliation UCL - FSA/INGI - Département d'ingénierie informatique
Links
Bibliographic reference Dony, Isabelle ; Le Charlier, Baudouin. A tool for helping teach a programming method. In: SIGCSE Bulletin, Vol. 38, no. 3, p. 212-216 (2006)
Permanent URL http://hdl.handle.net/2078.1/66195