Now showing items 1-3 of 3

    • Inspection Methods in Programming: Cliches and Plans 

      Rich, Charles (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. ...
    • The Programmer's Apprentice Project: A Research Overview 

      Rich, Charles; Waters, Richard C. (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 ...
    • Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications 

      Rich, Charles; Waters, Richard C. (1986-07-01)
      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 ...