ENGLISH ABSTRACT : Interaction plays a key role in the process of learning, and a learner’s abilities
are enhanced when multiple cognitive functions work in parallel, especially
those related to language and visuals. Time is the most fundamental variable
that governs the interaction between programmer and computer, and the
substantial temporal separation of cause and effect leads to poor mental models.
Furthermore, programmers do not have means by which to express their
mental models.
The feasibility of combining reverse debugging and live programming was
therefore investigated. This combination was found to be feasible, and a reverse
debugger with higher levels of liveness was created for the Python programming
language. It establishes a foundation for combining language and
visual models as aids in computer programming education.

ENGLISH ABSTRACT: Computer aided veri cation techniques, such as model checking, can be used to improve the
reliability of software. Model checking is an algorithmic approach to illustrate the correctness
of temporal ...