DOVE: A Tool for Design Oriented Verification and Evaluation.
Maris A. OzolsKatherine A. EastaughffeAnthony CantPublished in: AMAST (1997)
Keyphrases
- assessment tool
- design process
- formative evaluation
- modeling tool
- formal verification
- conceptual model
- functional verification
- design rationale
- design methodology
- evaluation methods
- computer aided
- search engine
- machine learning
- real world
- database
- design principles
- power consumption
- optimal design
- knowledge based systems
- website
- data sets