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

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.
  • Vollständige Referenz
  • BibTeX
Filieri, A., Hoffmann, H. & Maggio, M., (2015). Automated design of self-adaptive software with control-theoretical formal guarantees. In: Aßmann, U., Demuth, B., Spitta, T., Püschel, G. & Kaiser, R. (Hrsg.), Software-engineering and management 2015. Bonn: Gesellschaft für Informatik e.V.. (S. 112-113).
@inproceedings{mci/Filieri2015,
author = {Filieri, Antonio AND Hoffmann, Henr AND Maggio, Martina},
title = {Automated design of self-adaptive software with control-theoretical formal guarantees},
booktitle = {Software-engineering and management 2015},
year = {2015},
editor = {Aßmann, Uwe AND Demuth, Birgit AND Spitta, Thorsten AND Püschel, Georg AND Kaiser, Ronny} ,
pages = { 112-113 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
112.pdf35.21Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-633-6
ISSN: 1617-5468
Datum: 2015
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige