Inhalt des Dokuments
zur Navigation
| Habilitationsschrift: Sprachverarbeitung in Mensch-Maschine-Systemen |
| Lehrprobe (30. April 2003): Verfahren zur Sicherstellung der Korrektheit von Software |
| Habilitationsvortrag (21. Mai 2003): Ansätze zur Entwicklung und Bewertung spachverarbeitender Mensch-Maschine-Systeme |
| Erteilung der Lehrbefähigung für das Fachgebiet: Angewandte Informatik |
| Gutachter: Frau Prof. Dr. rer. nat. Harbusch (Universität Koblenz-Landau), Prof. Dr. Wysotzki, Prof. Dr.-Ing. Fellbusch (BTU Cottbus) |
| Habilitationsschrift: Visual Modelling and Validation of Distributed Systems – Abstract, Volltext (pdf) |
| Lehrprobe (2. Juni 2003): Die Vermittlungsschicht in Computernetzwerken |
| Habilitationsvortrag (9. Juli 2003): Visuelle Modellierung und Validierung von verteilten Systemen |
| Erteilung der Lehrbefähigung für das Fachgebiet: Informatik |
| Gutachter: Prof. Dr. rer.nat. Ehrig, Prof. Dr. rer. nat. Engels (Universität Osnabrück), Prof. Dr. Goedicke (Universität Essen), Prof. Dr. phil. Parisi-Presicce (Universität Rom) |