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
Telefax: +49 (0)731 / 50 - 24162

Anfahrtsskizze

Aktuelle Publikationen


default
Häberlein, Tobias
A Framework for System Dynamic Models of Software Acquisition Projects
International Workshop on Software Process Simulation and Modeling (ProSim'03), Portland, co-located with the International Conference on Software Engineering ICSE'03
Mai 2003
default
Herbst, Joachim; Kleiner, Niko
Workflow Mining: A Case Study from Automotive Industry
Proceedings of the 10th European Concurrent Engineering Conference, Plymouth, UK
Herausgeber: SCS Europe Publications,
April 2003
default
Guttmann, Walter; Partsch, Helmuth; Schulte, Wolfram; Vullinghs, Ton
Tool Support for the Interactive Derivation of Formally Correct Functional Programs
Journal of Universal Computer Science, 9(2):173-188
März 2003
default
Gehring, Wolfgang
ECTS und Kreditakkumulation: Das Ulmer Modell
Das Sokrates/Erasmus-Programm der EU 1997-2002: Erfahrungen und Erwartungen
Seite 91-97.
Herausgeber: Deutscher Akademischer Austauschdienst DAAD,
März 2003
default
Frühwirth, Thom; Abdennadher, Slim
Essentials of Constraint Programming
Herausgeber: Springer-Verlag,
Februar 2003