Now showing items 1-3 of 3
Intelligent Assistance for Program Recognition, Design, Optimization, and Debugging
A recognition assistant will help reconstruct the design of a program, given only its source code. A design assistant will assist a programmer by detecting errors and inconsistencies in his design choices and by ...
Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications
Requirements acquisition is one of the most important and least well supported parts of the software development process. The Requirements Apprentice (RA) will assist a human analyst in the creation and modification ...
The Programmer's Apprentice Project: A Research Overview
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 ...