Constraint-based functional design verification for conceptual design.
Y.-M. DengG. A. BrittonShu Beng TorPublished in: Comput. Aided Des. (2000)
Keyphrases
- conceptual design
- design process
- engineering design
- product design
- mechanical design
- functional verification
- marine power plant
- database
- formal verification
- fuzzy comprehensive evaluation method
- logical design
- design space
- qualitative reasoning
- life cycle
- building blocks
- expert systems
- databases
- formal methods
- design decisions
- information retrieval
- real world
- neural network
- product development process