Self-adaptive software needs quantitative verication at runtime - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Communications of the ACM Year : 2012

Self-adaptive software needs quantitative verication at runtime

Abstract

None
Fichier principal
Vignette du fichier
cacm-online.pdf (288 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00748130 , version 1 (04-11-2012)
hal-00748130 , version 2 (04-12-2012)

Identifiers

  • HAL Id : hal-00748130 , version 2

Cite

Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola. Self-adaptive software needs quantitative verication at runtime. Communications of the ACM, 2012, 55 (9), pp.69-77. ⟨hal-00748130v2⟩

Collections

CONNECT
63 View
1092 Download

Share

Gmail Facebook X LinkedIn More