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
Dausend, Marcel; Raschke, Alexander
Towards a comprehensive extension of abstract state machines for aspect-oriented specification
Science of Computer Programming,
Mai 2016
default
Nassal, Alexander; Tichy, Matthias
Modeling Human Behavior for Software Engineering Simulation Games
Proceedings of the Fifth International Workshop on Games and Software Engineering (GAS2016 @ICSE), Austin, Texas, U.S.A.
Mai 2016
pdf
Stegmaier, Michael; Dausend, Marcel; Raschke, Alexander; Tichy, Matthias
A Universal Control Construct for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
Mai 2016
pdf
Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael
Unified Syntax for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
Mai 2016
default
Getir, Sinem; Grunske, Lars; Tichy, Matthias
ENSURE: Ensurance of Software Evolution by Run-time Certification - Description of Selected Project Results
Modellbasierte Entwicklung Eingebetteter Systeme (MBEES2016), March 30 - April 1, Dagstuhl, Germany
März 2016