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
John S. Gero, Enn Tyugu, Ėnn Kharalʹdovich Tyugu
Elsevier, 1994 - Computers - 362 pages
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

Contents

Attribute models of design objects
33
Formal representation of meaning in architecture
45
What is a formal representation
59
Copyright

17 other sections not shown

Common terms and phrases

Bibliographic information