Advances in formal design methods for CAD
Subtitle: proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
By: edited by John S. Gero and Fay Sudweeks (associate editor).
Contributors: Gero, John S.; Sudweeks, Fay.; International Federation for Information Processing.
Edition: 1st ed.
Publisher: Chapman & Hall
Published: 1996
Place of publication: London
Language: eng
Number of pages: 298
Subjects: Computer-aided design -- Congresses.; Computer-aided engineering -- Congresses.
Description: Recently, design techniques have been formalized, not as humano-centred processes, but as processes capable of computer implementation with the goal of augmenting human designers. This book presents state-of-the-art chapters on formal design methods for computer-aided design. It covers design methods based on evolutionary systems, generative processes, performance evaluation, analysis and design process methods.

Advances in Formal Design Methods for CAD contains the selected proceedings of the Workshop on Formal Design Methods for Computer-Aided Design, organized by the International Federation for Information Processing and held in Mexico City, Mexico in June 1995. This book will be essential reading for all those involved in computer-aided design, particularly researchers, CAD developers, R&D personnel and graduate students.
Notes: Conference held in Mexico City, Mexico.

Includes bibliographical references.

Published on behalf of the International Federation for Information Processing.