Issue No. 05 - May (1995 vol. 21)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.387471
This paper describes the design and implementation of an intelligent tutoring system for the Dijkstra-Gries programming methodology as defined by Gries in “The Science of Programming” . The first part of the paper identifies the requirements of intelligent tutoring systems in general and those of the methodology in particular. It shows the suitability of the Smalltalk environment for developing expandable intelligent systems and the compatibility of Smalltalk’s object-oriented paradigm with the Gries methodology’s goal/plan approach to programming. We then describe how these requirements are met: an overview of the system’s support of the methodology and the modules that enable the system to respond <it>intelligently</it>. As an example, a reusable tutorial part is presented, first from a student’s perspective, then from an <it>author’s</it> perspective. Finally the results of an evaluation of the system drawn from actual student experience are presented.
Dijkstra-Gries, inheritance, intelligent tutoring systems, object-oriented systems, programming methodology, re-use, symbolic algebra, teaching programming, unification, user modeling.
F. Ng, J. Kay and G. Butler, "An Intelligent Tutoring System for the Dijkstra-Gries Methodology," in IEEE Transactions on Software Engineering, vol. 21, no. , pp. 415-428, 1995.