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


Full Text : http://www.dtic.mil/dtic/tr/fulltext/u2/a192782.pdf


Report Date : Dec 1987


Pagination or Media Count : 94


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