Formal Design Methods for CAD (IFIP Transactions B: Computer Applications in Technology)

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.Gero, John S. is the author of 'Formal Design Methods for CAD (IFIP Transactions B: Computer Applications in Technology)', published 1994 under ISBN 9780444819703 and ISBN 0444819703.