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

Anfahrtsskizze

Aktuelle Publikationen

2016

383.
Liebel, Grischa; Tichy, Matthias; Knauss, Eric; Ljungkrantz, Oscar; Stieglbauer, Gerald
Organisation and communication problems in automotive requirements engineering
Requirements Engineering
Oktober 2016
DOI:10.1007/s00766-016-0261-7
Datei:http://link.springer.com/content/pdf/10.1007%2Fs00766-016-0261-7.pdf
382.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom; Gall, Daniel
Animating Cognitive Models and Architectures: A Rule-based Approach
The 2nd Global Conference on Artificial Intelligence (GCAI 2016), Berlin, Germany
Global Conference on Artificial Intelligence
Berlin
September 2016
Datei:http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/CGAI_submit.pdf
381.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
A Rule-based Approach for Animating Java Algorithms
20th International Conference Information Visualisation (iV2016), Lisbon, Portugal, July 2016.
Juli 2016
DOI:10.1109/IV.2016.55
Datei:http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/nada-iv2016-final.pdf
380.
Frühwirth, Thom
Why Can't You Behave? Non-Termination Analysis of Direct Recursive Rules with Constraints
10th International Web Rule Symposium (RuleML 2016), New York, USA, July
Juli 2016
DOI:10.1007/978-3-319-42019-6_14
Datei:http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/thom-ruleml-2016-full.pdf
379.
Breckel, Alexander; Tichy, Matthias
Live Programming with Code Portals
Workshop on Live Programming Systems (LIVE'16), Rome, Italy
Juli 2016
Datei:http://conf.researchr.org/getImage/live-2016/orig/LIVE_2016_paper_5.pdf