Automated design of self-adaptive software with control-theoretical formal guarantees
| dc.contributor.author | Filieri, Antonio | |
| dc.contributor.author | Hoffmann, Henr | |
| dc.contributor.author | Maggio, Martina | |
| dc.contributor.editor | Aßmann, Uwe | |
| dc.contributor.editor | Demuth, Birgit | |
| dc.contributor.editor | Spitta, Thorsten | |
| dc.contributor.editor | Püschel, Georg | |
| dc.contributor.editor | Kaiser, Ronny | |
| dc.date.accessioned | 2017-06-30T20:56:11Z | |
| dc.date.available | 2017-06-30T20:56:11Z | |
| dc.date.issued | 2015 | |
| dc.description.abstract | 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. | en |
| dc.identifier.isbn | 978-3-88579-633-6 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software-engineering and management 2015 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-239 | |
| dc.title | Automated design of self-adaptive software with control-theoretical formal guarantees | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 113 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 112 | |
| gi.conference.date | 17.-20. März 2015 | |
| gi.conference.location | Dresden |
Dateien
Originalbündel
1 - 1 von 1