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
Kleiner, Niko
The Focus of Requirements Engineering in Workflow Application Development
15th Conference on Advanced Information Systems Engineering (CAiSE '03), Klagenfurt/Velden, Austria, Workshops Proceedings, Information Systems for a Connected Society, Workshop Requirements Engineering for Business Process Support
RWTH Aachen
Herausgeber: SCS Europe Publications,
Juni 2003
default
Gehring, Wolfgang
Workloaderfassung: Ein Henne-Ei-Problem (?)
Die Berufsqualifikation und die Arbeitsbelastung der Studierenden: Die qualitativen und quantitativen Gestaltungsgrundlagen für Leistungspunkte in der Hochschulbildung, Weimar , Seite 54-56.
Mai 2003
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