Logo des Repositoriums
 
Konferenzbeitrag

Automated design of self-adaptive software with control-theoretical formal guarantees

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2015

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Self-adaptation enables software to execute successfully in dynamic, unpredictable, and uncertain environments. However, most of the current approaches lack formal guarantees on the effectiveness and dependability of the adaptation mechanisms, limiting their applicability in practice.

Beschreibung

Filieri, Antonio; Hoffmann, Henr; Maggio, Martina (2015): Automated design of self-adaptive software with control-theoretical formal guarantees. Software-engineering and management 2015. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-633-6. pp. 112-113. Dresden. 17.-20. März 2015

Schlagwörter

Zitierform

DOI

Tags