Verifying Design with Proof Scores.

Kokichi Futatsugi Joseph A. Goguen Kazuhiro Ogata

Published in: VSTTE (2005)

Keyphrases

design process
information retrieval
neural network
data mining
real time
design principles
decision trees
case study
design tools
engineering design
knowledge based systems
software engineering
data model
learning environment
multiscale
image processing
metadata
computer vision