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
Achatz, Klaus; Schulte, Wolfram
Formale objektorientierte Softwareentwicklung
Softwaretechnik-Trends, 16(3)
1996
default
Reif, Wolfgang; Stenzel, Kurt
Reuse of Proofs in Software Verification
SADHANA: Academy Proceedings in Engineering Sciences, 21(2)
1996
default
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo
The Design of a Functional GUI Library Using Constructor Classes
In Bjørner, D. and Broy, M. and Pottosin, I., editor, Proceedings of the 2nd International Andrei Ershov Memorial Conference on Perspectives of System Informatics, Akademgorodok, Novosibirsk, Russia Volume 1181 of Lecture Notes in Computer Science , page 398-408.
Publisher: Springer-Verlag,
1996
default
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo
TkGofer: A Functional GUI Library
In Wirsing, M. and Nivat, M., editor, Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology (AMAST'96), München, Deutschland Volume 1101 of Lecture Notes in Computer Science , page 621-624.
Publisher: Springer-Verlag,
1996
default
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo
The Implementation of a Functional GUI Library
Proceedings of the 2nd Italian Workshop on Functional Programming (FUN'96), Pisa, Italy
1996
default
Achatz, Klaus; Partsch, Helmuth
From Descriptive Specifications to Operational ones: A Powerful Transformation Rule, its Applications and Variants
Document number: 96-13
Universität Ulm,
1996