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