Search
Now showing items 1-2 of 2
Inspection Methods in Programming: Cliches and Plans
(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. ...
Computation and Pre-Parametric Design
(1988-09-01)
My work is broadly concerned with the question "How can designs bessynthesized computationally?" The project deals primarily with mechanical devices and focuses on pre-parametric design: design at the level of detail ...