AFFIDAVIT - Automating the Proof of Quality Attributes for Large Scale Software Architectures
Description
The AFFIDAVIT project vision was to make the current state of knowledge about software architecture design accessible to mainstream system developers by building a framework that allows software architects to investigate the properties of their designs through architectural simulation and ensure their correct application through architectural transformation. The simulator supports the achievement of quality goals as defined in quality attribute scenarios, by allowing an architect to determine the consequences of architectural decisions, and to make trade-offs that balance competing quality requirements. The architectural transformation performed ensures that the structure of the system built matches the designed and simulated behavior.Researchers
Ana Filipa Nogueira (coordinator)
João Franco
Mário Alberto Zenha-Rela
Raul Barbosa
Francisco Correia
Eudisley Gomes dos Anjos
João Franco
Mário Alberto Zenha-Rela
Raul Barbosa
Francisco Correia
Eudisley Gomes dos Anjos