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.
| Identifer | oai:union.ndltd.org:MIT/oai:dspace.mit.edu:1721.1/6056 |
| Date | 01 December 1987 |
| Creators | Rich, Charles |
| Source Sets | M.I.T. Theses and Dissertation |
| Language | en_US |
| Detected Language | English |
| Format | 93 p., 8943620 bytes, 3472944 bytes, application/postscript, application/pdf |
| Relation | AIM-1005 |
Page generated in 0.0023 seconds