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), pages 69-77
September 2012

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

journal or series
book Communications of the ACM (CACM)