Analysestrategien für konfigurierbare Systeme

dc.contributor.author	von Rhein, Alexander
dc.contributor.editor	Hölldobler, Steffen
dc.date.accessioned	2019-01-23T14:30:41Z
dc.date.available	2019-01-23T14:30:41Z
dc.date.issued	2017
dc.description.abstract	Viele moderne Softwaresysteme, wie z.B. Linux, lassen sich mit Tausenden von Konfigurationsoptionen anpassen. Mit Hilfe dieser Optionen kann eine oft astronomisch große Anzahl unterschiedlicher Systemvarianten hergestellt werden. Diese Variantenvielfalt bringt enorme Herausforderungen hinsichtlich der Korrektheit der Systemvarianten mit sich. In dieser Arbeit entwickeln und untersuchen wir Techniken zur Analyse von variantenreichen Systemen. Insbesondere vergleichen wir drei Ansätze zum Design solcher Analysen konzeptionell und praktisch (z.B. hinsichtlich ihrer Laufzeit und der Vollständigkeit ihrer Ergebnisse).	de
dc.identifier.isbn	978-3-88579-976-4
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/19948
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2016
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume D-17
dc.title	Analysestrategien für konfigurierbare Systeme	de
dc.type	Text/Conference Paper
gi.citation.endPage	298
gi.citation.publisherPlace	Bonn
gi.citation.startPage	289
gi.conference.date	21.-24. Mai 2017
gi.conference.location	Schoss Dagstuhl, Deutschland

Dateien

1 - 1 von 1