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

Author:   Asko Riitahuhta ,  Fay Sudweeks
Publisher:   Springer-Verlag New York Inc.
Edition:   Softcover reprint of the original 1st ed. 1996
ISBN:  

9781475744286


Pages:   300
Publication Date:   17 January 2013
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $580.77 Quantity:  
Add to Cart

Share |

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


Overview

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.

Full Product Details

Author:   Asko Riitahuhta ,  Fay Sudweeks
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   Softcover reprint of the original 1st ed. 1996
Dimensions:   Width: 15.50cm , Height: 1.70cm , Length: 23.50cm
Weight:   0.480kg
ISBN:  

9781475744286


ISBN 10:   1475744285
Pages:   300
Publication Date:   17 January 2013
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List