Skip to Main content Skip to Navigation
Journal articles

Self-adaptive software needs quantitative verication at runtime

Radu Calinescu 1 Carlo Ghezzi 2 Marta Kwiatkowska 3 Raffaela Mirandola 2 
1 CS-YORK - Department of Computer Science [York]
2 DEI - Dipartimento di Elettronica e Informazione
3 Department of Computer Science [Oxford]
Résumé : None
Document type :
Journal articles
Complete list of metadata

Cited literature [31 references]  Display  Hide  Download
https://hal.inria.fr/hal-00748130
Contributor : Hongyang Qu Connect in order to contact the contributor
Submitted on : Tuesday, December 4, 2012 - 7:31:01 PM
Last modification on : Wednesday, November 18, 2020 - 4:18:06 PM
Long-term archiving on: : Wednesday, March 6, 2013 - 4:55:09 PM

File

Vignette du document
cacm-online.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00748130, version 2

Collections

CONNECT

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

60

Files downloads

1066

 

Contact                    Legal Notice                    Personal Data