On Formal Specification of Design Tasks
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Declarative functionality descriptions of interactive reasoning modulesPublished by Springer Nature ,2005
- Explicit Representation of Design Process KnowledgePublished by Springer Nature ,1992
- Prober—A Design System Based on Design PrototypesPublished by Springer Nature ,1992
- Structuring Design Knowledge on the Basis of Generic ComponentsPublished by Springer Nature ,1992
- A Logical Framework for Design ProcessesPublished by Springer Nature ,1991
- Toward an engineering science of knowledge-based designArtificial Intelligence in Engineering, 1987
- Why is design logically impossible?Design Studies, 1982