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
Schrijvers, T.; Frühwirth, Thom
Programming Pearl: Optimal Union-Find in Constraint Handling Rules
Theory and Practice of Logic Programming, 6(1-2):213-224
Januar 2006
default
Schrijvers, T.; Demoen, B.; Duck, G.; Stuckey, P.; Frühwirth, Thom
Automatic implication checking for CHR constraints
In Cirstea, H. and Martí-Oliet, N., Editor, Proceedings of the 6th International Workshop on Rule-Based Programming, RULE 2005 Band 147 aus Electronic Notes in Theoretical Computer Science , Seite 93-111.
Januar 2006
default
Frühwirth, Thom; Abdennadher, Slim
Principles of constraint systems and constraint solvers
Archives of Control Sciences: Special Issue on Constraint Programming, 16(2)
2006
default
Frühwirth, Thom; Michel, L.; Schulte, C.
Constraints in Procedural and Concurrent Languages
In Rossi, F. and Beek, P. van and Walsh, T., Editor, Handbook of Constraint Programming
Kapitel 13,
Herausgeber: Elsevier,
2006
default
Djelloul, Khalil; Dao, T.-B.-H.
Extension of First-Order Theories into Trees
In Calmet, J. and Ida, T. and Wang, D., Editor, Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Band 4120 aus Lecture Notes in Computer Science , Seite 53-67.
Herausgeber: Springer-Verlag,
2006