Datum der Disputation
- 10.4.2015
Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung
Dissertation
Überblick
Schlagwörter
- Compilerbau
- Formale Verifikation
- MDD
- Model Checker
- Modellgetriebene Entwicklung
- Software Engineering
- Spin
- Xtext
- Model-Driven Development