Zwischen der natürlichsprachigen Beschreibung eines Systems, seiner formalen Beschreibung und schließlich der Implementierung klaffen jeweils Lücken, welche für Fehleranfälligkeiten im Entwicklungsprozess sorgen. Ich beschäftige mich im Rahmen der Graduiertenschule “System Design” damit, diese beiden Lücken durch die (semi-) automatisierte Verarbeitung natürlichsprachiger Beschreibungen sowie durch Generierung von Code aus formalen Beschreibungen (z.B. UML) zu schließen.