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
Börger, Egon; Schulte, Wolfram
Defining the Java Virtual Machine as Platform for Provably correct Java Compilation
In Brim, L. and Gruska, J. and Zlatuska, J., editor, Proceedings of the 23rd International Symposium on Mathematical Foundation of Computer Science (MFCS´98), Brno, Czech Republic Volume 1450 of Lecture Notes in Computer Science
Publisher: Springer-Verlag,
1998
default
Ernst, Dietmar; Houdek, Frank
Applying Metrics to Cross-Technical Evaluations
In Coombes, H. and Hooft van Huysduynen, M. and Peeters, B., editor, The European Software Measurement Conference Fesma 98, Antwerp, Belgium
1998
default
Ernst, Dietmar; Houdek, Frank; Schwinn, Thilo
An Experimental Comparison of Static and Dynamic Defect Detection Techniques
Conference Proceedings of the Eleventh International Software Quality Week (QW 98), San Francisco, California
1998
default
Greiner, C.; Knublauch, Holger; Sedlmayr, M.; Rose, T.
Representing and Processing Various Knowledge Types in an Anaesthesia Information System
Annual Meeting of the European Society for Computing and Technology in Anaesthesia and Intensive Care (ESCTAIC), Villach, Austria
1998
default
Houdek, Frank; Ernst, Dietmar; Schwinn, Thilo
Prüfen von C-Code und Statemate/Matlab-Spezifikationen: Ein Experiment
Document number: 98-11
Universität Ulm,
1998
default
Schellhorn, Gerhard
Proving Properties of Directed Graphs: A Problem Set for Automated Theorem Provers
Document number: 98-12
Universität Ulm,
1998