Institute of Software Engineering and Programming Languages

Research

Our research topics cover aspects of software engineering and compiler construction. In particular, we focus on requirements engineering methods, formalisms, and tools as well as model-driven software engineering, experimntal software engineering, and development of innovative software tools.

Overview of our research topics

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

 

Contact & Directions

Institute of Software Engineering and Programming Languages

University Ulm
James-Franck-Ring
D-89069 Ulm
Building O27, Level 4
Phone: +49 (0)731 / 50 - 2416

Directions

 

Newest publications

2018

426.
Gall, Daniel; Frühwirth, Thom
An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules
ACM Transactions on Computational Logic (TOCL), 19 (3)
September 2018
DOI:10.1145/3218818
Datei:https://arxiv.org/abs/1702.01606
425.
Kögel, Stefan; Tichy, Matthias
A Dataset of EMF Models from Eclipse Projects
Herausgeber: Open Access Repositorium der Universität Ulm
September 2018
DOI:10.18725/OPARU-9850
424.
Frühwirth, Thom; Gall, Daniel
Exploring Parallel Execution Strategies for Constraint Handling Rules
26th International Workshop on Functional and Logic Programming, Frankfurt am Main, Germany
September 2018
Datei:https://arxiv.org/abs/1808.07788
423.
Frühwirth, Thom
Implementation of Logical Retraction in Constraint Handling Rules with Justifications (full version)
In Dietmar Seipel, Michael Hanus, Salvador Abreu, Editor, Declarative Programming and Knowledge Management, Proceedings of the Conference on Declarative Programming DECLARE 2017, Revised Selected PapersBand10997, Seite 37--52
DECLARE 2017
Würzburg
17.-22.09.2017
In Dietmar Seipel, Michael Hanus, Salvador Abreu, Editor
Herausgeber: Springer
September 2018
DOI:10.1007/978-3-030-00801-7_3
Datei:http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-just-impl-final-full.pdf
422.
Frühwirth, Thom
Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Designs
Proceedings of the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
Luxembourg
September 2018
September 2018
Datei:http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/masonmarks-final0.pdf