Browsing AI Memos (1959 - 2004) by Subject "engineering problem solving"
Now showing items 1-1 of 1
(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. ...