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
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
default
Abdennadher, Slim; Frühwirth, Thom
Integration and Optimization of Rule-based Constraint Solvers
International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'03)
2003
default
Frühwirth, Thom; Holzbaur, Christian
Source-to-Source Transformation for a Class of Expressive Rules
In Buccafurri, F., Editor, Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003 (AGP 2003) , Seite 386-397.
2003
default
Knublauch, Holger; Rose, T.
Tool-Supported Process Analysis and Design for the Development of Multi-Agent Systems
In Giunchiglia, F. and Odell, J. and Weiß, G., Editor, Agent-Oriented Software Engineering III, Third International Workshop, AOSE 2002, Bologna, Italy Band 2585 aus Lecture Notes in Computer Science , Seite 186-197.
Herausgeber: Springer-Verlag,
2003