These papers describe efforts toward the systematic improvement of a software environment called SOLO (Eisenstadt, 1978), which has been used with cognitive psychology students at the Open University in Great Britain and is geared towards the manipulation of assertional databases. The first paper, by Eisenstadt, Laubsch, and Kahney, provides an…

This report examines the features and performance of the BUG-FINDing component of MENO-II, a computer-based tutor for beginning PASCAL programming students. A discussion of the use of artificial intelligence techniques is followed by a summary of the system status and objectives. The two main components of MENO-II are described, beginning with the…

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…

The large-scale development of Time-Shared, Interactive, Computer-Controlled, Information Television (TICCIT) at Brigham Young University is described in this paper. The TICCIT project was designed to provide a market success example for computer-assisted instruction, particularly for junior or community colleges. The project incorporated a…