Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung
Die 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üfv...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | German |
| Published: |
2015
|
| Subjects: | |
| Online Access: | https://repositorium.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-2015042913177 |