Home → Magazine Archive → September 2012 (Vol. 55, No. 9) → Self-Adaptive Software Needs Quantitative Verification... → Abstract

Self-Adaptive Software Needs Quantitative Verification at Runtime

By Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola

Communications of the ACM, Vol. 55 No. 9, Pages 69-77

[article image]

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

The full text of this article is premium content


No entries found