Search
Now showing items 1-2 of 2
The Programmer's Apprentice Project: A Research Overview
(1987-11-01)
The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial ...
Inspection Methods in Programming: Cliches and Plans
(1987-12-01)
Inspection methods are a kind of engineering problem solving based on the recognition and use of standard forms or cliches. Examples are given of program analysis, program synthesis and program validation by inspection. ...