A formal approach to adaptive software: continuous assurance of non-functional requirements

@article{Filieri2011AFA,
  title={A formal approach to adaptive software: continuous assurance of non-functional requirements},
  author={Antonio Filieri and Carlo Ghezzi and Giordano Tamburrelli},
  journal={Formal Aspects of Computing},
  year={2011},
  volume={24},
  pages={163-186}
}
Modern software systems are increasingly requested to be adaptive to changes in the environment in which they are embedded. Moreover, adaptation often needs to be performed automatically, through self-managed reactions enacted by the application at run time. Off-line, human-driven changes should be requested only if self-adaptation cannot be achieved successfully. To support this kind of autonomic behavior, software systems must be empowered by a rich run-time support that can monitor the… CONTINUE READING
Highly Cited
This paper has 107 citations. REVIEW CITATIONS