Automated Reliability Prediction from Formal Architectural Descriptions.

João Miguel Franco Raul Barbosa Mário Zenha Rela

Published in: WICSA/ECSA (2012)

Keyphrases

high level
prediction accuracy
prediction model
software architecture
prediction error
prediction algorithm
formal model
computer aided
computer assisted
fully automated
semi automated
data sets
genetic algorithm
formal methods
architectural design