1 results for "Benoit DONNET"

Assessing Graphical Loop Invariant Based Programming Performance in a CS1 Course

Géraldine BRIEVEN; Benoit DONNET

Informatics in Education, Pp 1-38 (2026) · 2026 · English · DOAJ Scopus

We investigate the pedagogical impact of Graphical Loop Invariant Based Programming (GLIBP) in an introductory programming course. This approach encourages students to visually model the objects and variables handled in the loop, before implementing it. To evaluate the efficiency of this GLI model…