SE-Projekte
im Sommersemester 2019
Workshop Agile Software Development
Learn Scrum With Lego

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
Schulte, Wolfram; Schwarz, Michael
Realistische Aufgabenstellungen für das Softwaregrundpraktikum
In Forbig, P. and Riedewald, G., editor, Software Engineering im Unterricht der Hochschulen (SEUH'97)
Publisher: Teubner-Verlag,
1997
default
Schwarz, Michael; Schulte, Wolfram
Realistische Aufgabenstellungen für das Softwaregrundpraktikum
Workshop des German Chapter of the ACM und der Gesellschaft für Informatik, Software Engineering im Unterricht der Hochschulen SEUH'97, Rostock Volume 48 of Berichte des German Chapter of the ACM , page 94-104.
Publisher: B. G. Teubner,
1997
default
Braxmeier, H.; Ernst, Dietmar; Mößle, Andrea; Vogler, H.
The Project NoName: A functional programming language with ist development environment
Document number: 97-08
Universität Ulm,
1997
default
Ernst, Dietmar; Houdek, Frank; Schwinn, Thilo; Schulte, Wolfram
Experimenteller Vergleich statischer und dynamischer Softwareprüfung für eingebettete Systeme
Document number: 97-13
Universität Ulm,
1997
default
Reif, Wolfgang; Schellhorn, Gerhard
Theorem Proving in Large Theories
Document number: 97-14
Universität Ulm,
1997
default
Schellhorn, Gerhard; Reif, Wolfgang
Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers
Document number: 97-12
Universität Ulm,
1997