Es sollen Werkzeuge zum Umgang mit der
Spezifikation unserer
Zwischendarstellung IML erstellt
werden, beispielsweise ein Generator,
der aus der Spezifikation Code
erzeugt.
Der bisherige Generator hat sich als
schwer wartbar erwiesen und soll durch
ein neues Werkzeug ersetzt
werden. Dieses soll den Code für die
IML-Klassen generieren, und zwar in
den Sprachen Ada2005, C++ und Java.
Der Umgang mit der Spezifikation soll
durch geeignete Hilfsmittel
erleichtert werden. Dazu zählt
z.B. ein speziell auf die
Spezifikation zugeschnittener Browser
und Editor.
Lehrveranstaltungen
Zum Studienprojekt werden die folgenden Lehrveranstaltungen
angeboten: