Lea Kristin Gerling

Werkzeuggestützte Ableitung Boolescher Modelle auf Grundlage existierender Variabilitätsmodelle. Eine Betrachtung

1. Auflage. Dateigröße in MByte: 1.

pdf eBook , 34 Seiten

ISBN 3668255490

EAN 9783668255494

Veröffentlicht Juli 2016

Verlag/Hersteller GRIN Verlag

Leseprobe herunterladen

Leseprobe öffnen

Auch erhältlich als:

Taschenbuch

€ 17,95

€ 15,99 inkl. MwSt.

Auf die Wunschliste

Weitere interessante Themen

Beschreibung

Studienarbeit aus dem Jahr 2015 im Fachbereich Informatik - Internet, neue Technologien, Universität Hildesheim (Stiftung), Sprache: Deutsch, Abstract: Es existieren verschiedene Werkzeuge und Algorithmen, die Variabilitätsmodelle in aussagenlogische Formeln übersetzen können. Diese Formeln können dann mithilfe von SAT-Solvern auf ihre Erfüllbarkeit überprüft werden. Als Anwendungsbeispiel dient das Variabilitätsmodell des Linux Kernels, das durch Verwendung von KConfig Dateien definiert und konfiguriert werden kann.
Diese Arbeit vergleicht die vorhandenen Werkzeuge und Algorithmen, die KConfig-Modelle in das DIMACS oder CNF Format übersetzen. Der Vergleich basiert dabei auf der vorhandenen Literatur. Dabei wird insbesondere darauf eingegangen, ob die erstellten Übersetzungen überhaupt korrekt sind, ob redundante Daten erzeugt werden und wie die Werkzeuge und Algorithmen mit nicht-Boolesche Elemente umgehen.

Technik

Sie können dieses eBook zum Beispiel mit den folgenden Geräten lesen:

• tolino Reader

Laden Sie das eBook direkt über den Reader-Shop auf dem tolino herunter oder übertragen Sie das eBook auf Ihren tolino mit einer kostenlosen Software wie beispielsweise Adobe Digital Editions.

• Sony Reader & andere eBook Reader

Laden Sie das eBook direkt über den Reader-Shop herunter oder übertragen Sie das eBook mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions auf ein Standard-Lesegeräte.

• Tablets & Smartphones

Möchten Sie dieses eBook auf Ihrem Smartphone oder Tablet lesen, finden Sie hier unsere kostenlose Lese-App für iPhone/iPad und Android Smartphone/Tablets.

• PC & Mac

Lesen Sie das eBook direkt nach dem Herunterladen mit einer kostenlosen Lesesoftware, beispielsweise Adobe Digital Editions, Sony READER FOR PC/Mac oder direkt über Ihre eBook-Bibliothek in Ihrem Konto unter „Meine eBooks“ - „online lesen“.

Bitte beachten Sie, dass die Kindle-Geräte das Format nicht unterstützen und dieses eBook somit nicht auf Kindle-Geräten lesbar ist.