![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Formal Design Methods for CAD 1994: Tallinn, Estonia
- John S. Gero, Enn Tyugu:
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. IFIP Transactions B-18, Elsevier 1994, ISBN 0-444-81970-3
Formal Representation in Design
- L. K. Alberts:
A sharable ontology for the formal representation of engineering-design knowledge. Formal Design Methods for CAD 1994: 3-32 - Enn Tyugu:
Attribute models of design objects. Formal Design Methods for CAD 1994: 33-44 - Ömer Akin:
Formal representation of meaning in architecture. Formal Design Methods for CAD 1994: 45-58 - L. K. Alberts:
Discussion: What is a formal representation and what is it good for?. Formal Design Methods for CAD 1994: 59-70
Shape Grammars in Design
- Christopher N. Carlson:
A tutorial introduction to grammatical programming. Formal Design Methods for CAD 1994: 73-84 - Jeff Heisserman, Robert F. Woodbury:
Geometric design with boundary solid grammars. Formal Design Methods for CAD 1994: 85-105 - Shen-Guan Shih, Gerhard Schmitt:
The use of post interpretation for grammar-based generative systems. Formal Design Methods for CAD 1994: 107-120 - Christopher N. Carlson:
Discussion: Design space description formalisms. Formal Design Methods for CAD 1994: 121-134
Design Grammars
- 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: 135-155 - Kjell Andersson:
A vocabulary for conceptual design. Formal Design Methods for CAD 1994: 157-171 - Jonathan Cagan, William J. Mitchell:
A grammatical approach to network flow synthesis. Formal Design Methods for CAD 1994: 173-189 - Jonathan Cagan:
Discussion: Research issues in the application of design grammars. Formal Design Methods for CAD 1994: 191-198
Formalised Design Processes
- Mihaly Lenart, Peter Padawitz, Ana Pasztor:
Formal specification for design automation. Formal Design Methods for CAD 1994: 201-220 - H. Takeda:
Abduction for design. Formal Design Methods for CAD 1994: 221-243 - Mary Lou Maher, Sourav Kundu:
Adaptive design using a genetic algorithm. Formal Design Methods for CAD 1994: 245-262 - James Bowen, Dennis R. Bahler:
A constraint-based approach to supporting human negotiation in concurrent engineering. Formal Design Methods for CAD 1994: 263-281 - Ömer Akin:
Discussion: Research issues. Formal Design Methods for CAD 1994: 283-290
Exploration in Design
- Tim Smithers, David Corne, Peter Ross:
On computing exploration and solving design problems. Formal Design Methods for CAD 1994: 293-313 - John S. Gero:
Towards a model of exploration in computer-aided design. Formal Design Methods for CAD 1994: 315-336 - Tim Smithers:
Research issues. Formal Design Methods for CAD 1994: 337-350
Closing Discussion
- John S. Gero:
Formal design methods for computer-aided design. Formal Design Methods for CAD 1994: 353-359
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.