Self-adaptive software needs quantitative verification at runtime.

Radu Calinescu==Carlo Ghezzi==Marta Z. Kwiatkowska==Raffaela Mirandola==

摘要(来源:ACM):

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

0条评论