Formal Design Methods for CAD

Keyphrases

Publications

1994

John S. Gero
Towards a model of exploration in computer-aided design. Formal Design Methods for CAD (1994)
Ömer Akin
Discussion: Research issues. Formal Design Methods for CAD (1994)
Mihaly Lenart, Peter Padawitz, Ana Pasztor
Formal specification for design automation. Formal Design Methods for CAD (1994)
Tim Smithers, David Corne, Peter Ross
On computing exploration and solving design problems. Formal Design Methods for CAD (1994)
Kenneth N. Brown, Chris A. McMahon, J. H. Sims Williams
A formal language for the design of manufacturable objects. Formal Design Methods for CAD (1994)
L. K. Alberts
A sharable ontology for the formal representation of engineering-design knowledge. Formal Design Methods for CAD (1994)
Jonathan Cagan
Discussion: Research issues in the application of design grammars. Formal Design Methods for CAD (1994)
Shen-Guan Shih, Gerhard Schmitt
The use of post interpretation for grammar-based generative systems. Formal Design Methods for CAD (1994)
Mary Lou Maher, S. Kundu
Adaptive design using a genetic algorithm. Formal Design Methods for CAD (1994)
Christopher N. Carlson
A tutorial introduction to grammatical programming. Formal Design Methods for CAD (1994)
Jeff Heisserman, Robert F. Woodbury
Geometric design with boundary solid grammars. Formal Design Methods for CAD (1994)
Enn Tyugu
Attribute models of design objects. Formal Design Methods for CAD (1994)
James Bowen, Dennis Bahler
A constraint-based approach to supporting human negotiation in concurrent engineering. Formal Design Methods for CAD (1994)
Ömer Akin
Formal representation of meaning in architecture. Formal Design Methods for CAD (1994)
John S. Gero
Formal design methods for computer-aided design. Formal Design Methods for CAD (1994)
Kjell Andersson
A vocabulary for conceptual design. Formal Design Methods for CAD (1994)
H. Takeda
Abduction for design. Formal Design Methods for CAD (1994)
Christopher N. Carlson
Discussion: Design space description formalisms. Formal Design Methods for CAD (1994)
Tim Smithers
Research issues. Formal Design Methods for CAD (1994)
Formal Design Methods for CAD, Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994 Formal Design Methods for CAD (1994)
L. K. Alberts
Discussion: What is a formal representation and what is it good for?. Formal Design Methods for CAD (1994)
Jonathan Cagan, William J. Mitchell
A grammatical approach to network flow synthesis. Formal Design Methods for CAD (1994)