1. osnaDocs
  2. Fachbereich 06 - Mathematik / Informatik / Physik
  3. FB06 - E-Dissertationen

Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung

Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
https://osnadocs.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-2015042913177
Open Access logo originally created by the Public Library of Science (PLoS)
Langanzeige der Metadaten
DC ElementWertSprache
dc.contributor.advisorProf. Dr. Elke Pulvermüller
dc.creatorAmmann, Christian
dc.date.accessioned2015-04-29T12:16:51Z
dc.date.available2015-04-29T12:16:51Z
dc.date.issued2015-04-29T12:16:51Z
dc.identifier.urihttps://osnadocs.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-2015042913177-
dc.description.abstractDie modellgetriebene Entwicklung (MDD) ist ein Ansatz, um formale Modelle automatisiert in ausführbare Software zu übersetzen. Obwohl dieses Vorgehen die Häufigkeit von Fehlern im generierten Quellcode verringert, können immer noch die Ausgangsmodelle fehlerhaft sein. Deshalb sind zusätzliche Prüfverfahren, wie z.B. die Verwendung eines Model Checkers sinnvoll. Er stellt automatisiert sicher, dass ein Modell alle gestellten Anforderungen erfüllt. Das Ziel dieser Arbeit ist daher die Integration eines Model Checkers in den modellgetriebenen Entwicklungsprozess, um die Qualität von Software-Produkten zu verbessern. Zu diesem Zweck wird das sogenannte DSL Verification Framework (DVF) vorgestellt. Es stellt Entwicklern vorgefertigte Sprachkonstrukte zur Verfügung, um die Implementierung von Parsern und Transformatoren zu erleichtern. Des Weiteren berücksichtigt es auch die "State Space Explosion", damit auch größere Modelle verifizierbar bleiben. Um die praktische Nutzung des DVF zu evaluieren, werden zwei Industriefallstudien durchgeführt.ger
dc.subjectModel-Driven Developmenteng
dc.subjectMDDeng
dc.subjectFormale Verifikationger
dc.subjectModel Checkereng
dc.subjectSpineng
dc.subjectXtexteng
dc.subjectSoftware Engineeringeng
dc.subjectModellgetriebene Entwicklungger
dc.subjectCompilerbauger
dc.subject.ddc000 - Informatik, Wissen, Systeme
dc.titleVerknüpfung von formaler Verifikation und modellgetriebener Entwicklungger
dc.typeDissertation oder Habilitation [doctoralThesis]-
thesis.locationOsnabrück-
thesis.institutionUniversität-
thesis.typeDissertation [thesis.doctoral]-
thesis.date2015-04-10-
dc.contributor.refereeProf. Dr. Stephan Kleuker
vCard.ORGFB6
Enthalten in den Sammlungen:FB06 - E-Dissertationen

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
thesis_ammann.pdfPräsentationsformat3,54 MBAdobe PDF
thesis_ammann.pdf
Miniaturbild
Öffnen/Anzeigen
Zur Kurzanzeige


Alle Ressourcen im Repositorium osnaDocs sind urheberrechtlich geschützt, soweit nicht anderweitig angezeigt. rightsstatements.org