Modeling Design Objects and Processes

The key novelty in this monograph is the definition of a formal language for describing both the static and dynamic aspects of design within the setting of first order predicate logic. The book provides a conceptual basis on which a wide range of CAD systems can be developed in a methodical way. Annotation copyright Book News, Inc. Portland, Or.