A consistency verification method for design models in design environments.

Hiroshi Arai Yoshiaki Fukazawa

Published in: Systems and Computers in Japan (1996)

Keyphrases

design process
modeling tool
design space
engineering design
object oriented
relational databases
database systems
case study
machine learning
expert systems
dynamic environments
statistical model
computer aided
user experience
temporal logic
design principles
data sets