Del i serien IFIP Advances in Information and Communication Technology

Advances in Formal Design Methods for CAD

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

Inbunden, Engelska, 1996

2 949 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Produktinformation

Utgivningsdatum1996-02-29
Mått156 x 234 x 22 mm
Vikt638 g
FormatInbunden
SpråkEngelska
SerieIFIP Advances in Information and Communication Technology
Antal sidor300
Upplaga1996
FörlagChapman and Hall
ISBN9780412727108

Tillhör följande kategorier

CAD-program inom Data och IT

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.

Mer från samma författare

Artificial Intelligence in Design ’02

Asko Riitahuhta

Inbunden, 2002

2 939 kr

Design Computing and Cognition ’04

Asko Riitahuhta

Inbunden, 2004

2 939 kr

Advances in Formal Design Methods for CAD

Asko Riitahuhta, Fay Sudweeks

Häftad, 2013

2 859 kr

Design for Configuration

Asko Riitahuhta, A. Pukkinen, Asko Riitahuhta

Inbunden, 2001

1 179 kr

Design for Configuration

Asko Riitahuhta, Antti Pulkkinen

Häftad, 2012

719 kr

Artificial Intelligence in Design ’02

Asko Riitahuhta

Häftad, 2010

2 859 kr

Design Computing and Cognition ’04

Asko Riitahuhta

Häftad, 2011

2 859 kr

Design Computing and Cognition '06

Asko Riitahuhta

Häftad, 2014

2 139 kr

Artificial Intelligence in Design ’00

Asko Riitahuhta, John S. Gero

Häftad, 2012

2 859 kr

Computer-Aided Architectural Design Futures (CAADFutures) 2007

Andy Dong, Andrew Vande Moere, Asko Riitahuhta

Häftad, 2014

2 209 kr

Mer från samma serie

Data Mining and Reverse Engineering

Stefano Spaccapietra, Fred Maryanski

Inbunden, 1998

3 679 kr

Del 171

Technology Enhanced Learning

Jean-Pierre Courtiat, Costas Davarakis, Thierry Villemur

Inbunden, 2005

699 kr

Del 734

Digitally Transformed Education: Are We There Yet?

Margaret Leahy, Christophe Reffay

Häftad, 2026

2 219 kr

Trust Management II

Yücel Karabulut, John C. Mitchell, Peter Herrmann, Christian Damsgaard Jensen

Inbunden, 2008

1 479 kr

Wireless Sensor and Actor Networks II

Ali Miri

Inbunden, 2008

1 439 kr

Advances in Ad Hoc Networking

Pedro Cuenca, Carlos Guerrero, Ramon Puigjaner, Bartomeu Serra

Inbunden, 2008

1 479 kr

Innovation in Manufacturing Networks

Américo Azevedo

Inbunden, 2008

1 479 kr

Del 268

Biologically-Inspired Collaborative Computing

Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut Schmeck

Inbunden, 2008

1 479 kr

History of Computing and Education 3 (HCE3)

John Impagliazzo

Inbunden, 2008

699 kr

Knowledge Management in Action

Mark S. Ackerman, Rose Dieng, Carla Simone, Volker Wulf

Inbunden, 2008

1 479 kr

Du kanske också är intresserad av

Advances in Formal Design Methods for CAD

Asko Riitahuhta, Fay Sudweeks

Häftad, 2013

2 859 kr

Computer-Aided Architectural Design Futures (CAADFutures) 2007

Andy Dong, Andrew Vande Moere, Asko Riitahuhta

Häftad, 2014

2 209 kr

Design Computing and Cognition '06

Asko Riitahuhta

Häftad, 2014

2 139 kr

Design for Configuration

Asko Riitahuhta, A. Pukkinen, Asko Riitahuhta

Inbunden, 2001

1 179 kr

Design for Configuration

Asko Riitahuhta, Antti Pulkkinen

Häftad, 2012

719 kr

Design Computing and Cognition ’04

Asko Riitahuhta

Inbunden, 2004

2 939 kr

Design Computing and Cognition ’04

Asko Riitahuhta

Häftad, 2011

2 859 kr

Artificial Intelligence in Design ’02

Asko Riitahuhta

Inbunden, 2002

2 939 kr

Artificial Intelligence in Design ’00

Asko Riitahuhta, John S. Gero

Häftad, 2012

2 859 kr

Artificial Intelligence in Design ’02

Asko Riitahuhta

Häftad, 2010

2 859 kr

Del i serien IFIP Advances in Information and Communication Technology

Advances in Formal Design Methods for CAD

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

Inbunden, Engelska, 1996

AvAsko Riitahuhta,Fay Sudweeks

2 949 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1996-02-29
Mått156 x 234 x 22 mm
Vikt638 g
FormatInbunden
SpråkEngelska
SerieIFIP Advances in Information and Communication Technology
Antal sidor300
Upplaga1996
FörlagChapman and Hall
ISBN9780412727108

Tillhör följande kategorier

CAD-program inom Data och IT

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.