|
|
|
Mit dem WS 2007/08 stellt der Lehrstuhl seine Arbeit ein.
Diese Web-Präsentation wird nicht mehr aktualisiert!
Die Mitarbeiterin Anke Dittmar wechselt zum Lehrstuhl Softwaretechnik.
Lehrstuhlinhaber
Prof. Dr. rer. nat. Dr. Ing. habil. Günter Riedewald
Forschungsgebiete
In der Forschung konzentriert sich der Lehrstuhl auf die folgenden Bereiche:
- Attributierte Grammatiken
- Semantik von Programmiersprachen
- Sprachentwurf (Aspektorientierte Programmiersprachen, Domainspezifische Programmiersprachen)
- Analyse und Beschreibung von Echtzeitsystemen
- Modellbasierter Entwurf von interaktiven Systemen
- Aufgabenmodellierung
- Symbolische Simulation/Model Checking
- Meta-Programmierung
- Synthese und Transformation von Programmen
- formale Spezifikationstechniken für interaktive Systeme
- Aufgabenmodellierung
|
Adresse
Universität Rostock
Fachbereich Informatik
Albert-Einstein-Straße 21
18059 Rostock, Deutschland |
| Telefon: | (+49 381) 498-7630 |
| Fax: | (+49 381) 498-7482 |
|
