Forschung
Prof. Dr. Martin Wirsing
- Software-Entwicklung unter Einbeziehung formaler Methoden
- Systematische Entwicklung dienst-orientierter Systeme
- Benutzerzentrierte adaptive Systeme
-
Objekt- und dienst-orientierte Programmierung
- Algebraische Spezifikationstechniken
- Semantik von Spezifikations- und Programmiersprachen
-
Softwaretechniken für Web- und Hypermedia-Anwendungen
