Formal design methods for CAD: proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 194

Front Cover
Formal design methods provide the basis for the non-graphical use of computer-aided design. This volume represents the cutting edge of international research in the area, where artificial intelligence and cognitive science paradigms are providing a renewed impetus for exploration and development. The sixteen chapters are grouped into five parts: formal representations in design; shape grammars in design; design grammars; formalised design processes; and exploration in design. The volume will provide a valuable source of information for all those connected with this field.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.


A tutorial introduction to grammatical programming
Geometric design with boundary solid grammars

14 other sections not shown

Common terms and phrases

Bibliographic information