Research Catalog

Title

Advances in formal design methods for CAD : proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 / edited by John S. Gero and Fay Sudweeks (associate editor).

Author

IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design (1995 : Mexico City, Mexico)

Publication

London : Chapman & Hall, on behalf of the International Federation for Information Processing, 1996.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Gero, John S.
• Sudweeks, Fay.
• International Federation for Information Processing.

Description

vi, 298 pages : illustrations; 25 cm

Summary

• 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.

Subject

• Computer-aided design > Congresses
• Computers

Bibliography (note)

• Includes bibliographical references and index.

Contents

• 1. Formalising design exploration as co-evolution: a combined gene approach / Mary Lou Maher, Josiah Poon and Sylvie Boulanger -- 2. Evolving building blocks for design using genetic engineering: a formal approach / John Gero and Vladimir A. Kazakov -- 3. Discussion: Evolutionary methods in design / Mihaly Lenhart and Mary Lou Maher -- 4. Modified shape annealing for optimally-directed generation: initial results / Ken N. Brown and Jon Cagan -- 5. Incorporating heuristics and a meta-architecture in a genetic algorithm for harness design / Carlos Zozaya-Gorostiza and Luis F. Estrada -- 6. Discussion: Generative and search methods in design / Ken N. Brown -- 7. A performance-based paradigm of design / Yehuda E. Kalay and Gianfranco Carrara -- 8. A formal method for assessing product performance at the conceptual stage of the design process / Paul Rodgers, Alistair Patterson and Derek Wilson --
• 9. On a symbolic CAD-front-end for design evaluation based on the Pi-theorem / Stephan Rudolph -- 10. Discussion: Performance evaluation methods in design / Hans Grabowski -- 11. Formal concept analysis in design / Mihaly Linhart -- 12. Supporting the design process by an integrated knowledge based design system / Hans Grabowski, Ralph-Stefan Lossack and Clemens Weis -- 13. Discussion: Formal support methods in design / Stephan Rudolph -- 14. A logical theory of design / Frances Brazier, Pieter van Langen and Jan Treur -- 15. Representing the collaborative design process: a product model-oriented approach / Bangyu Lei, Toshiharu Taura and Jun Numata -- 16. Discussion: Design process methods / Leo Joskowicz -- Advances in formal design methods for computer-aided design.

ISBN

0412727102 :

LCCN

gb 96027698

OCLC

ocm34558550

Owning Institutions

Columbia University Libraries