Advances in Formal Design Methods for CAD | Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

Asko Riitahuhta (u. a.)

ISBN 10: 1475744285 / ISBN 13: 9781475744286

Published by Springer, 2013

About this Item

Advances in Formal Design Methods for CAD | Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 | Asko Riitahuhta (u. a.) | Taschenbuch | IFIP Advances in Information and Communication Technology | x | Englisch | 2013 | Springer | EAN 9781475744286 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 105565199

Bibliographic Details

• 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
• Publisher: Springer
• Publication Date: 2013
• Language: English
• ISBN 10: 1475744285
• ISBN 13: 9781475744286
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 17D millimeters 235 millimeters width by 155 millimeters height by 17 millimeters depth
• Weight: 476 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

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.