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

Softcover

ISBN 10: 1475744277 ISBN 13: 9781475744279

Publisher: Springer, 2013

Synopsis

One Evolutionary Methods in Design.- 1 Formalising design exploration as co-evolution: a combined gene approach.- 2 Evolving building blocks for design using genetic engineering: a formal approach.- 3 DISCUSSION: Evolutionary methods in design.- Two Generative and Search Methods in Design.- 4 Modified shape annealing for optimally-directed generation: initial results.- 5 Incorporating heuristics and a meta-architecture in a genetic algorithm for harness design.- 6 DISCUSSION: Generative and search methods in design.- Three Performance Evaluation Methods in Design.- 7 A performance-based paradigm of design.- 8 A formal method for assessing product performance at the conceptual stage of the design process.- 9 On a symbolic CAD-front-end for design evaluation based on the Pi-theorem.- 10 DISCUSSION: Performance evaluation methods in design.- Four Formal Support Methods in Design.- 11 Formal concept analysis in design.- 12 Supporting the design process by an integrated knowledge based design system.- 13 DISCUSSION: Formal support methods in design.- Five Design Process Methods.- 14 A logical theory of design.- 15 Representing the collaborative design process: a product model-oriented approach.- 16 DISCUSSION: Design process methods.- Closing Discussion.- Advances in formal design methods for computer-aided design.- Author Index.

Edition details

• Publisher: Springer
• Publication date: 2013
• Language: English
• ISBN 10: 1475744277
• ISBN 13: 9781475744279
• Binding: Paperback
• Number of pages: 312
• Editor: Riitahuhta Asko, Sudweeks Fay