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

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
Frühwirth, Thom
Constraint Handling Rules: The Story So Far
In Maher, M., Editor, Proceedings of the Eigth ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming , Seite 13-14.
Herausgeber: ACM Press,
2006
default
Frühwirth, Thom
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor, Recent Advances in Constraints, CSCLP 2005 Band 3978 aus Lecture Notes in Computer Science , Seite 14-28.
Herausgeber: Springer-Verlag,
2006
default
Guttmann, Walter
Non-termination in Unifying Theories of Programming
In MacCaull, W. and Winter, M. and Düntsch, I., Editor, Relational Methods in Computer Science 2005 Band 3929 aus Lecture Notes in Computer Science , Seite 108-120.
Herausgeber: Springer-Verlag,
2006
default
Guttmann, Walter; Maucher, M.
Variations on an Ordering Theme with Constraints
In Navarro, G. and Bertossi, L. and Kohayakawa, Y., Editor, Fourth IFIP International Conference on Theoretical Computer Science: TCS 2006 Band 209 aus IFIP International Federation for Information Processing , Seite 77-90.
Herausgeber: Springer-Verlag,
2006
default
Guttmann, Walter; Möller, Bernhard
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor, Unifying Theories of Programming Band 4010 aus Lecture Notes in Computer Science , Seite 236-256.
Herausgeber: Springer-Verlag,
2006