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
10.1145/2330667.2330686

[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

0 Comments

No entries found