Analyse und Transformation konfigurierbarer Systeme

dc.contributor.author	Liebig, Jörg
dc.contributor.editor	Hölldobler, Steffen
dc.date.accessioned	2017-09-22T20:47:26Z
dc.date.available	2017-09-22T20:47:26Z
dc.date.issued	2015
dc.description.abstract	Viele Softwaresysteme, wie z.B. das Betriebssystem Linux, stellen zum Teil tausende von Konfigurationsoptionen bereit, mit deren Hilfe eine zum Teil astronomisch große Anzahl unterschiedlicher Varianten (für Linux vom Smartphone bis zum Supercomputer) erstellt werden kann. Die Variantenvielfalt dieser Systeme stellt Softwareentwickler vor enorme Herausforderungen hinsichtlich ihrer Korrektheit, da entsprechende Entwicklungswerkzeuge fehlen. In dieser Arbeit beschreiben wir skalierbare, variabilitätsgewahre Techniken für die Entwicklung von Analyseund Transformationswerkzeugen, die mit der Variantenvielfalt konfigurierbarer Systeme umgehen können. Wir zeigen, dass diese Techniken bestehenden Verfahren hinsichtlich Laufzeit, Aufwand zur Anwendung und Vollständigkeit überlegen sind.	de
dc.identifier.isbn	978-3-88579-975-7
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/4580
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2015
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-16
dc.title	Analyse und Transformation konfigurierbarer Systeme	de
gi.citation.endPage	198
gi.citation.publisherPlace	Bonn
gi.citation.startPage	189

Dateien

1 - 1 von 1