Workshop Agile Software Development
Learn Scrum With Lego
Lecture Series
Current Trends in Software Engineering

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

In addition to lectures for Bachelor and Master students, we also offer seminars and projects.

Current courses

Available thesis topics (Ba/Ma)

Contact

Institute of Software Engineering and Programming Languages

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

Directions

Current Publications


default
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
DiagrammaticCHR: A Diagrammatic Representation of CHR Program
19th International Conference Information Visualisation (iV2015)
Publisher: IEEE Digital Library,
July 2015
default
Gall, Daniel; Frühwirth, Thom
A Refined Operational Semantics for ACT-R
ACM 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena, Italy
July 2015
pdf
Frühwirth, Thom
A Devil's Advocate against Termination of Direct Recursion
ACM 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena, Italy
July 2015
default
Gall, Daniel; Frühwirth, Thom
An Adaptable Implementation of ACT-R with Refraction in Constraint Handling Rules
13th International Conference on Cognitive Modeling (ICCM), Groningen
April 2015
default
Nassal, Alexander
Projektmanagement spielend lernen
In Axel Schmolitzky and Anna Sabine Hauptmann, editor, Tagungsband des 14. Workshops ''Software Engineering im Unterricht der Hochschulen" 2015 Volume 1332 of CEUR Workshop Proceedings , page 53-64.
Publisher: CEUR-WS.org,
February 2015
default
Betz, Hariolf; Frühwirth (editor), Thom; Schöning (editor), Uwe
A Unified Analytical Foundation for Constraint Handling Rules
Publisher: BOD,
December 2014
ISBN: 9783734732508