Studienarbeit

Visuelle Spezifikation von Optimierungen

Betreuer: Dr. Uwe Assmann

Institut für Programm- und Datenstrukturen, Vincenz-Priessnitz-Str. 3, 76128 Karlsruhe

mailto:assmann@ipd.info.uni-karlsruhe.de, tel:0721/608 6088

http://i44www.info.uni-karlsruhe.de/~assmann

Thema:

Am Lehrstuhl Goos existiert ein Generator für Programmoptimierungen, OPTIMIX. Mit OPTIMIX können klassische Programmoptimierungen mit Hilfe von Graphersetzungssystemen spezifiziert werden.

Die Studienarbeit beschäftigt sich damit, ein visuelle Schnittstelle für die Spezifikation zu erstellen. Dies soll auf der Basis von Tcl/Tk geschehen. Dazu ist ein Editor für Graphersetzungssysteme zu erstellen, der OPTIMIX-Spezifikationen erzeugen kann.

Voraussetzung:

Kenntniss in Tcl/Tk und Benutzerschnittstellen sind wünschenswert.