Verification support for plug-and-play architectural design.

Shangzhu Wang George S. Avrunin Lori A. Clarke

Published in: ROSATEA (2006)

Keyphrases

architectural design
software architecture
design decisions
real time
end users
model checking
databases
information retrieval
genetic algorithm
learning algorithm
decision support