Welcome

Our research is mainly concerned with various aspects of software engineering and compiler construction. In particular we concentrate on methods, tools and formalisms for requirements engineering, constraint programming, model driven development, experimental software engineering, formal methods for software development and the design of innovative software tools.

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 - 24161
Fax:      +49 (0)731 / 50 - 24162

Current Publications


default
Stenzel, Kurt
Pilotanwendungen mit KIV
Document number: FI96/06
Fakultät für Informatik, Technische Universität Dresden,
1996
default
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo
An Introduction into TkGofer
Document number: 96-03
Universität Ulm,
1996
default
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
Tactics in KIV
Journal on Information Processing and Cybernetics, 30
1995
default
Achatz, Klaus; Schulte, Wolfram
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
In Möller, B., editor, Mathematics of Program Construction Volume 947 of Lecture Notes in Computer Science
Publisher: Springer-Verlag,
1995
default
Fuchß, T.; Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
Three Selected Case Studies in Verification
In Broy, M. and Jähnichen, S., editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report Volume 1009 of Lecture Notes in Computer Science
Publisher: Springer-Verlag,
1995
default
Hutter, D.; Langenstein, B.; Koob, F.; Reif, Wolfgang; Sengler, C.; Stephan, W.; Ullmann, M.; Wittmann, M.; Wolpers, A.
The VSE Development Method - A Way to Engineer High-Assurance Software Systems
In Gotzheim, B., editor, GI/ITG Tagung Formale Beschreibungstechniken für verteilte Systeme
Universität Kaiserslautern
1995