Institut für Softwaretechnik und Programmiersprachen

Forschung

Unser zentrales Forschungsthema sind verschiedene Aspekte der Softwaretechnik und des Compilerbaus, insbesondere Requirements-Engineering-Methoden, -Formalismen und -Tools, Constraint-Programmierung, Model Driven Development, experimentelles Software-Engineering, formale Methoden in der Softwareentwicklung, sowie die Entwicklung innovativer Softwarewerkzeuge.

Übersicht über unsere Forschung

Lehre

Neben Vorlesungen für Bachelor und Master-Studierende bieten wir auch Seminare und Projekte an.

Übersicht aller Lehrveranstaltungen

Themen für Abschlussarbeiten und Praktika

Kontakt & Anfahrt

Institut für Softwaretechnik und Programmiersprachen

Universität Ulm
James-Franck-Ring
D-89069 Ulm
Gebäude O27, Niveau 4
Telefon: +49 (0)731 / 50 - 24161

Anfahrtsskizze

Aktuelle Publikationen

1999

79.
Hähnle, R.; Menzel, W.; Reif, Wolfgang; Schmitt, P.
Special Issue on Integration of Deduction Systems
Journal of Universal Computer Science, 5 (3)
1999
78.
Knublauch, Holger; Rose, T.
Reflection-enabled Rapid Prototyping of Knowledge-based Systems
OOPSLA'99 Workshop on Object Oriented Reflection and Software Engineering, Denver, CO, USA
1999
77.
Meyer, C.-H.; Knublauch, Holger
Parallel Iterative Proportional Fitting
Symposium in Operations Research (SOR99), Magdeburg
1999
76.
Schwarz, Michael
Kommunikationsorientierte Analyse und Gestaltung von Arbeitskontexten (KOALA)
In Sinz, E. J., Editor, Modellierung betrieblicher Informationssysteme, Proceedings der MobIS-Fachtagung (MobIS'99), Bamberg, Seite 210-226
In Sinz, E. J., Editor
1999
75.
Börger, Egon; Schulte, Wolfram
Modular Design for the Java Virtual Machine Architecture
Architecture Design and Validation Methods
Herausgeber: Springer-Verlag
1999