Self-adaptive software needs quantitative verification at runtime

   page       BibTeX_logo.png   
Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
Communications of the ACM 55(9), pp. 69-77
settembre 2012

Continually verify self-adaptation decisions taken by critical software in response to changes in the operating environment.

rivista o collana
book Communications of the ACM (CACM)