Cover Image

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

Show other versions (1)

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

Full description

Bibliographic Details
Main Author:	Gero, John S.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Sudweeks, Fay
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 1996.
Series:	IFIP — The International Federation for Information Processing.
Subjects:	Engineering. Artificial intelligence. Engineering design. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Artificial Intelligence in Design '92 /
by: Gero, J. S.
Published: (1992)

Electronic Design Automation Frameworks : Proceedings of the fourth International IFIP WG 10.5 working conference on electronic design automation frameworks /
by: Rammig, Franz J.
Published: (1995)

From Knowledge Intensive CAD to Knowledge Intensive Engineering : IFIP TC5 WG5.2. Fourth Workshop on Knowledge Intensive CAD May 22-24, 2000, Parma, Italy /
by: Cugini, Umberto
Published: (2002)

Applications of Supercomputers in Engineering II /
by: Brebbia, C. A.
Published: (1991)

Intelligent Systems for Engineering : a Knowledge-based Approach /
by: Sriram, Ram D.
Published: (1997)

Artificial Intelligence in Design '98 /
by: Gero, John S.
Published: (1998)

Interactive Graphics in CAD /
by: Gardan, Yvon
Published: (1984)

Knowledge Intensive CAD : Proceedings of the IFIP TC5 WG5.2 International Conference on Knowledge Intensive CAD, 16-18 September 1996, Pittsburgh, PA, USA /
by: Mäntylä, Martti
Published: (1997)

Knowledge Intensive Computer Aided Design : IFIP TC5 WG5.2 Third Workshop on Knowledge Intensive CAD December 1-4, 1998, Tokyo, Japan /
by: Finger, Susan
Published: (2000)

Developing Expert CAD Systems /
by: Begg, Vivienne
Published: (1987)

Artificial Intelligence in Design '94 /
by: Gero, John S.
Published: (1994)

Design Theory '88 : Proceedings of the 1988 NSF Grantee Workshop on Design Theory and Methodology /
by: Newsome, Sandra L.
Published: (1989)

Collaborative Design : Proceedings of CoDesigning 2000 /
by: Scrivener, Stephen A. R.
Published: (2000)

Design for Configuration : a Debate based on the 5th WDK Workshop on Product Structuring /
by: Riitahuhta, Asko
Published: (2001)

The Design Productivity Debate /
by: Duffy, Alex H. B.
Published: (1998)

Conceptual Design for Engineers /
by: French, M. J.
Published: (1999)

Residential Crowding and Design /
by: Aiello, John R.
Published: (1979)

Computer-aided Tolerancing : Proceedings of the 4th CIRP Design Seminar The University of Tokyo, Tokyo, Japan, April 5-6, 1995 /
by: Kimura, Fumihiko
Published: (1996)

AutoCAD Express /
by: McCarthy, Timothy J.
Published: (1990)

AutoCAD Express /
by: McCarthy, Timothy J.
Published: (1992)

Integrated Product, Process and Enterprise Design /
by: Wang, Ben
Published: (1997)

Design for X : Concurrent engineering imperatives /
by: Huang, G. Q.
Published: (1996)

Human Behaviour in Design : Individuals, Teams, Tools /
by: Lindemann, Udo
Published: (2003)

Design for Manufacturing and Assembly : Concepts, architectures and implementation /
by: Molloy, O.
Published: (1998)

AutoCAD for Windows Express /
by: McCarthy, Timothy J.
Published: (1994)

Artificial Intelligence in Design '02 /
by: Gero, John S.
Published: (2002)

Intelligent CAD Systems III : Practical Experience and Evaluation /
by: Hagen, Paul J. W.
Published: (1991)

Methods and Tools for Co-operative and Integrated Design /
by: Tichkiewitch, Serge
Published: (2004)

CAD/CAM Robotics and Factories of the Future : Volume II: Automation of Design, Analysis and Manufacturing /
by: Prasad, Birendra
Published: (1989)

Rapid Response Manufacturing : Contemporary methodologies, tools and technologies /
by: Dong, Jian
Published: (1998)

Practice of Petri Nets in Manufacturing /
by: DiCesare, F.
Published: (1993)

Group Invariance in Engineering Boundary Value Problems /
by: Seshadri, R.
Published: (1985)

Distribution : Planning and Control /
by: Ross, David Frederick
Published: (1996)

Practical Handbook of Warehousing /
by: Ackerman, Kenneth B.
Published: (1997)

Expert Aided Control System Design /
by: Tebbutt, Colin D.
Published: (1994)

Artificial intelligence in design '00 /
Published: (2000)

Artificial intelligence in design '96 /
Published: (1996)

Artificial Intelligence in Design /
by: Pham, D. T.
Published: (1991)

Soft Computing in Engineering Design and Manufacturing /
by: Chawdhry, P. K.
Published: (1998)

Software Engineering for Manufacturing Systems : Methods and CASE tools. IFIP TC5 international conference on Software Engineering for Manufacturing Systems, 28 - 29 March 1996, Stuttgart, Germany /
by: Storr, Alfred
Published: (1996)