Detailansicht
Advances in Formal Design Methods for CAD
IFIP International Federation for Information Processing, IFIP Advances in Information and Communication Technology
ISBN/EAN: 9780412727108
Umbreit-Nr.: 1538919
Sprache:
Englisch
Umfang: x, 300 S., 42 s/w Illustr.
Format in cm:
Einband:
gebundenes Buch
Erschienen am 29.02.1996
- Zusatztext
- InhaltsangabeEvolutionary methods in design. Generative and search methods in design. Performance evaluation methods in design. Formal support methods in design. Design process methods. Closing discussion.
- Kurztext
- This work presents formal design methods in computer-aided design. It also provides results from on-going research, descriptions of proposed novel approaches and the application of formal design methods in CAD.
- Autorenportrait
- InhaltsangabeOne 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.