Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola

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

Communications of the ACM 55(9), pages 69-77, sep 2012, ACM, New York, NY, USA
@article{stochasticselfadaptation-cacm55,
Acmid = {2330686},
Address = {New York, NY, USA},
Author = {Calinescu, Radu and Ghezzi, Carlo and Kwiatkowska, Marta and Mirandola, Raffaela},
Doi = {10.1145/2330667.2330686},
Issn = {0001-0782},
Journal = {Communications of the ACM},
Month = sep,
Number = 9,
Numpages = 9,
Pages = {69--77},
Publisher = {ACM},
Title = {Self-adaptive software needs quantitative verification at runtime},
Url = {http://dl.acm.org/citation.cfm?doid=2330667.2330686},
Volume = 55,
Year = 2012}

Tags:
    

Publication

Self-adaptive software needs quantitative verification at runtime

— status

published  

— authors

Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola

URLs & IDs

original page
original PDF

— DOI

10.1145/2330667.2330686

— print ISSN

0001-0782

BibTeX

— BibTeX ID
stochasticselfadaptation-cacm55
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY