Accession Number:

ADA192782

Title:

Inspection Methods in Programming: Cliches and Plans.

Descriptive Note:

Memorandum rept.,

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s):

• Rich, Charles

Report Date:

1987-12-01

Pagination or Media Count:

94.0

Abstract:

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. A formalism, called the Plan Calculus, is defined and used to represent programming cliches in a convenient, canonical, and programming-language independent fashion.

Descriptors:

• *AUTOMATIC PROGRAMMING
• CALCULUS
• ENGINEERING
• INSPECTION
• PLANNING
• PROBLEM SOLVING
• SYNTHESIS
• TEST METHODS
• VALIDATION

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE