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
Meister, Marc; Djelloul, Khalil; Robin, J.
Une sémantique complète pour CHR en logique des transactions
In Deransart, P., Editor, Programmation par Contraintes, Troisièmes Journées Francophones , Seite 130-138.
Juni 2007
default
Meister, Marc; Frühwirth, Thom
Reconstructing almost-linear Tree Equation Solving Algorithms in CHR
In Fages, F. and Rossi, F. and Soliman, S., Editor, Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop , Seite 123-137.
Juni 2007
default
Sarstedt, Stefan; Kohlmeyer, Jens; Raschke, Alexander; Gessenharter, Dominik
ActiveCharts: Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen
OBJEKTspektrum, (6)
2007
default
Djelloul, Khalil; Dao, T.-B.-H.; Frühwirth, Thom
Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees
In Hung, C. C. and Rosa, A., Editor, Proceedings of the 2007 ACM symposium on Applied computing, SAC 2007 , Seite 58-64.
Herausgeber: ACM Press,
2007
default
Gerlich, Ralf
Integrierte Testkonzepte: Von der Theorie zur Praxis und zurück
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor, Software Engineering 2007: Beiträge zu den Workshops Band P-106 aus Lecture Notes in Informatics , Seite 113-122.
Herausgeber: Gesellschaft für Informatik,
2007