Contact & Directions
Institute of Software Engineering and Programming Languages
Ulm University
James-Franck-Ring
D-89069 Ulm
Building O27, Level 4
Phone: +49 (0)731 / 50 - 24161
Institute of Software Engineering and Programming Languages
Research
Our research covers many aspects of software engineering and programming languages. In particular, we focus on domain-specific languages, software configuration, and constraint programming. We employ formalized theories, develop open-source tools, and apply empirical research methods.
Teaching
The institute represents the areas software engineering and programming languages in the bachelor and master programs of computer science and related fields. We offer the following mandatory courses in the Bachelor's program:
- Interactive Systems Programming
- Software Engineering
- Software Project
Furthermore, we are responsible for the bachelor and master program Software Engineering.
Overview of the courses in the bachelor and master programs
News
New Interim Professor Dr. Stefan Winter
Starting from April, Dr.-Ing. Stefan Winter has joined the SP institute as an interim professor and is temporarily filling the position of Thomas…
Congratulations to Dr. Raffaela Groner for her successful defense of her doctoral thesis.
We congratulate Dr. Raffaela Groner on the successful defense of her dissertation "User-centered performance engineering of model transformations!"
"On the Anatomy of Real-World R Code for Static Analysis" accepted at MSR'24
Our paper "On the Anatomy of Real-World R Code for Static Analysis" by Florian Sihler, Lukas Pietzschmann, Raphael Straub, Matthias Tichy, Andor…
Demo/Tool Paper Award at SPLC'23
We have received the demonstrations and tools paper award at SPLC'23 for our work: "UVLS: A Language Server Protocol For UVL"
Nachruf Prof. Dr. Helmuth Partsch
Unser ehemaliger Institutsleiter Professor Helmuth Partsch ist am 14. Mai 2023 im Alter von 73 Jahren viel zu früh verstorben.
Newest publications
2008
256.
Veanes,
M.;
Bjørner,
N.;
Raschke,
Alexander
An SMT Approach to Bounded Reachability Analysis of Model Programs
In Suzuki, K. and Higashino, T. and Yasumoto, K. and El-Fakih, K., Editor, Formal Techniques for Networked and Distributed Systems: FORTE 2008Volume5048fromLecture Notes in Computer Science, Page 53-68
In Suzuki, K. and Higashino, T. and Yasumoto, K. and El-Fakih, K., Editor
Publisher: Springer-Verlag
2008
An SMT Approach to Bounded Reachability Analysis of Model Programs
In Suzuki, K. and Higashino, T. and Yasumoto, K. and El-Fakih, K., Editor, Formal Techniques for Networked and Distributed Systems: FORTE 2008Volume5048fromLecture Notes in Computer Science, Page 53-68
In Suzuki, K. and Higashino, T. and Yasumoto, K. and El-Fakih, K., Editor
Publisher: Springer-Verlag
2008
| DOI: | 10.1007/978-3-540-68855-6_4 |
255.
Constraint Handling Rules: Current Research Topics
In Schrijvers, T. and Frühwirth, T., Editor, Volume 5388 from Lecture Notes in Computer Science
Publisher: Springer-Verlag
2008
254.
Sobhi,
Ingi;
Abdennadher,
Slim;
Betz,
Hariolf
Constructing Rule-Based Solvers for Intentionally-Defined Constraints
In Schrijvers, T. and Frühwirth, T., Editor, Constraint Handling Rules: Current Research TopicsVolume5388fromLecture Notes in Computer Science, Page 70-84
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Springer-Verlag
2008
Constructing Rule-Based Solvers for Intentionally-Defined Constraints
In Schrijvers, T. and Frühwirth, T., Editor, Constraint Handling Rules: Current Research TopicsVolume5388fromLecture Notes in Computer Science, Page 70-84
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Springer-Verlag
2008
| DOI: | 10.1007/978-3-540-92243-8_4 |
253.
Cuenot,
Philippe;
Frey,
Patrick;
Johannson,
Ralf;
Lönn,
Henrik;
Reiser,
M.-O.;
Servat,
David;
Tavakoli Kolagari,
Ramin;
Chen,
D.-J.
Developing Automotive Products using the EAST-ADL2, an AUTOSAR Compliant Architecture Description Language
4th European Congress on Embedded Real Time Software (ERTS 2008)
January 2008
Developing Automotive Products using the EAST-ADL2, an AUTOSAR Compliant Architecture Description Language
4th European Congress on Embedded Real Time Software (ERTS 2008)
January 2008
252.
Guttmann,
Walter
Lazy Relations
In Berghammer, R. and Möller, B. and Struth, G., Editor, Relations and Kleene Algebra in Computer ScienceVolume4988fromLecture Notes in Computer Science, Page 138-154
In Berghammer, R. and Möller, B. and Struth, G., Editor
Publisher: Springer-Verlag
2008
Lazy Relations
In Berghammer, R. and Möller, B. and Struth, G., Editor, Relations and Kleene Algebra in Computer ScienceVolume4988fromLecture Notes in Computer Science, Page 138-154
In Berghammer, R. and Möller, B. and Struth, G., Editor
Publisher: Springer-Verlag
2008
| DOI: | 10.1007/978-3-540-78913-0_12 |