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
Dausend, Marcel; Raiser, Frank
Model Transformation using Constraint Handling Rules as a basis for Model Interpretation
CHR 2011 -- Eighth International Workshop on Constraint Handling Rules
2011
default
Foreword and Appendix
In Frühwirth, T. and Raiser, F., Editor, Constraint Handling Rules: Compilation, Execution, and Analysis
Herausgeber: Books on Demand,
2011
ISBN: 978-3-83-911591-6
default
Gessenharter, Dominik; Rauscher, Martin
Code Generation for UML 2 Activity Diagrams: Towards a Comprehensive Model-Driven Development Approach
In France, R. B. and Küster, J. M. and Bordbar, B. and Paige, R. F., Editor, Modelling Foundations and Applications Band 6698 aus Lecture Notes in Computer Science , Seite 205-220.
Herausgeber: Springer-Verlag,
2011
default
Guttmann, Walter
Towards a Typed Omega Algebra
In Swart, H. de, Editor, Relational and Algebraic Methods in Computer Science Band 6663 aus Lecture Notes in Computer Science , Seite 196-211.
Herausgeber: Springer-Verlag,
2011
default
Guttmann, Walter; Struth, G.; Weber, T.
A Repository for Tarski-Kleene Algebras
In Höfner, P. and McIver, A. and Struth, G., Editor, Automated Theory Engineering Band 760 aus CEUR Workshop Proceedings , Seite 30-39.
2011