Inhalt des Dokuments
zur Navigation
Habilitationsschrift: Offene Plattformen zur Entwicklung von verteilten Systemen und Online Diensten |
Lehrprobe (14. Februar 2002): Software-Entwicklungsmethoden zur Realisierung verteilter Systeme |
Habilitationsvortrag (24. April 2002): Frameworks zur Realisierung verteilter kooperierender Systeme und Online-Dienste |
Erteilung der Lehrbefähigung für das Fachgebiet: Angewandte Informatik |
Gutachter: Prof. Dr. Krallmann, Prof. Dr. Jähnichen, Prof. Dr. Schill (TU Dresden) |
Habilitationsschrift: Semantic Integration of Heterogenous Software Specification |
Lehrprobe (8. Juli 2002): Strukturierung und Analyse von Tasks in der Entwicklung verteilter eingebetteter Systeme |
Habilitationsvortrag (2. September 2002): Semantische Integration heterogener Software-Modellierungen |
Erteilung der Lehrbefähigung für das Fachgebiet: Informatik |
Gutachter: Prof. Dr. Ehrig, Prof. Dr. Orejas (Universitat Politècnica de Catalunya), Prof. Dr. Goedicke (Universität Essen), Prof. Dr. Weber |
Habilitationsschrift: Inductive Synthesis of Functional Programs. Learning Domain-Specific Control Rules and Abstract Schemes |
Lehrprobe (21. Januar 2002): Inferenz Räumlicher Relationen |
Habilitationsvortrag (15. Mai 2002): Induktive Synthese Funktionaler Programme |
Erteilung der Lehrbefähigung für das Fachgebiet: Informatik |
Gutachter: Prof. Dr. Wysotzki, Prof. Dr. Mahr, Prof. Dr. Pepper |