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; Partsch, Helmuth
A Powerful Transformation Rule, its Applications and Variants
Proceedings of the 50th meeting of the IFIP Working Conference on Algorithmic Language and Calculi and IFIP Working Group 2.1, Le Bischenberg, France
1997
default
Achatz, Klaus; Schulte, Wolfram
A Formal OO Method Inspired by Fusion and Object-Z
In Bowen, J. P. and Hinchey, M. G. and Till, D., editor, ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK Volume 1212 of Lecture Notes in Computer Science
Publisher: Springer-Verlag,
1997
default
Achatz, Klaus; Schulte, Wolfram
Functional Object-oriented Programming with Object-Gofer
Informatik '97: Informatik als Innovationsmotor, Informatik aktuell
Publisher: Springer-Verlag,
1997
default
Claessen, K.; Vullinghs, Ton; Meijer, E.
Structuring graphical paradigms in TkGofer
In Peyton Jones, S., editor, Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICP'97), Amsterdam
1997
default
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
Proving System Correctness with KIV
In Bidoit, M. and Dauchet, M., editor, Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), Lille, France Volume 1214 of Lecture Notes in Computer Science
Publisher: Springer-Verlag,
1997
default
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
Proving System Correctness with KIV 3.0
Proceedings of the 14th International Conference on Automated Deduction, Townsville, Australia Volume 1249 of Lecture Notes in Computer Science
Publisher: Springer-Verlag,
1997