Argues that a computer-based programming tutor for novice programmers needs to take into account not only the types and frequency of bugs found in the programs, but the intentions and knowledge state of the programmer. A first version of such a program was developed on the basis of the bug types found in a number of pencil-and-paper studies with…

This report describes PROUST, a computer-based system for online analyses and understanding of PASCAL programs written by novice programmers, which takes as input a program and a non-algorithmic description of the program requirements and finds the most likely mapping between the requirements and the code. Both the theory and processing techniques…

Different aspects of human-machine interaction are discussed in the five brief papers that comprise this report. The first paper, "Some Observations on Mental Models," discusses the role of a person's mental model in the interaction with systems. The second paper, "A Psychologist Views Human Processing: Human Errors and Other…

A theory of how people learn certain procedural skills is presented. It is based on the idea that the teaching and learning that goes on in a classroom is like an ordinary conversation. The speaker (teacher) compresses a non-linear knowledge structure (the target procedure) into a linear sequence of utterances (lessons). The listener (student)…