Lehrstuhl für Programmiersprachen und Übersetzertechnik

Anke Dittmar (wiss. Mitarbeiter)

email:	ad@informatik.uni-rostock.de
Anschrift:	Universität Rostock, Institut für Informatik, A.-Einstein-Straße 21, 18051 Rostock
Telefon:	(+49) 381 498 7633
Fax.:	(+49) 381 498 7482
Raum:	317

Lehre

Typsysteme (Vorlesung)
Funktionale Programmierung (Vorlesung)
Logische Programmierung mit Prolog (Vorlesung)
Requirements Engineering (Übung und teilweise Vorlesung)
Programmierungstechnik (Übung)
Theorie der Programmiersprachen (Übung)
Softwaretechnik (Projektbetreuung und Übung)
Objektorientierte Programmierung unter Verwendung von Eiffel/mit Java und BlueJ (Vortragsseminare)
Mensch-Computer Interaktion (Vortragsseminar)

Themenvorschläge für Studien- und Diplomarbeiten

Forschung

Schwerpunkt: Mensch-Maschine Kommunikation (HCI)
-	Aufgabenmodellierung
-	(modellbasierter) Entwurfsprozess von interaktiven Systemen
-	formale Spezifikationstechniken für interaktive Systeme
weitere Interessen:
-	deklarative Programmiersprachen (insbesondere logische und funktionale Programmierung)
-	formale Spezifikationsformalismen (z.B. Attributierte Grammatiken, Prozessalgebren)
-	Typsysteme

ausgewählte Veröffentlichungen

letzte Änderung: 9. September 2006, Anke Dittmar