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, Fay Sudweeks
Contributors: Sudweeks, Fay
Series: IFIP - The International Federation for Information Processing; IFIP - The International Federation for Information Processing
Publisher: Springer US
Published: 1996
Place of publication: Boston, MA
Language: eng
Format: [electronic resource] :
Number of pages: 299
ISBN-13: 9781475744286; 9780387349251
Subjects: Engineering; Engineering design; Artificial intelligence
Description: Designing is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design methods have been formalised not as humano-centred processes but as processes capable of computer implementation with the goal of augmenting human designers. This volume contains contributions which cover design methods based on evolutionary systems, generative processes, evaluation methods and analysis methods. It presents the state of the art in formal design methods for computer aided design.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.