Improving Design Dependability by Exploiting an Open Model-Based Specification.

Aki W. Tomita Ken Sakamura

Published in: IEEE Trans. Computers (1999)

Keyphrases

databases
real time
social networks
high level
knowledge based systems
design process
design decisions
formal verification
software architecture
computer aided
user experience
design principles