Using Automatable Proof Obligations for Component-Based Design Checking.

Murali Rangarajan Perry Alexander Nael B. Abu-Ghazaleh

Published in: ECBS (1999)

Keyphrases

engineering design
conceptual model
design space
user experience
case study
databases
building blocks
design process
object oriented
agent architecture
computer aided
probabilistic model
control system
user interface
decision making
computer vision
learning algorithm