John S. Gero, Enn Tyugu (Eds.):
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 BibTeX
@proceedings{DBLP:conf/ifip5-2/1994,
editor = {John S. Gero and
Enn Tyugu},
title = {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},
booktitle = {Formal Design Methods for CAD},
publisher = {Elsevier},
series = {IFIP Transactions},
volume = {B-18},
year = {1994},
isbn = {0-444-81970-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Formal Representation in Design
- L. K. Alberts:
A sharable ontology for the formal representation of engineering-design knowledge.
3-32 BibTeX
- Enn Tyugu:
Attribute models of design objects.
33-44 BibTeX
- Ö. Akin:
Formal representation of meaning in architecture.
45-58 BibTeX
- L. K. Alberts:
Discussion: What is a formal representation and what is it good for?.
59-70 BibTeX
Shape Grammars in Design
Design Grammars
Formalised Design Processes
Exploration in Design
Closing Discussion
Copyright © Sat May 16 23:22:42 2009
by Michael Ley (ley@uni-trier.de)
