Forschungsbereiche und -interessen:
- Spezifikation von Programmiersprachen
- Werkzeuge zur Implementierung von Programmiersprachen
- Objekt-orientierte Programmierung
- Schnittstellenspezifikationen von Programmoduln
- Programmverifikation
- Computerunterstützung in der Lehre
Homepage Arnd Poetzsch-Heffter
Arnd Poetzsch-Heffter , 19.10.95