Tracing architectural concerns in high assurance systems.

Mehdi Mirakhorli Jane Cleland-Huang

Published in: ICSE (2011)

Keyphrases

high assurance
software systems
distributed systems
information systems
operating system
databases
genetic algorithm
load balancing
database
cooperative
digital libraries
management system
source code
complex systems
retrieval systems
fault tolerant