Willkommen

Unser zentrales Forschungsthema sind verschiedene Aspekte der Softwaretechnik und des Compilerbaus, insbesondere Requirements-Engineering-Methoden, -Formalismen und -Tools, Constraint-Programmierung, Model Driven Development, experimentelles Software-Engineering, formale Methoden in der Softwareentwicklung, sowie die Entwicklung innovativer Softwarewerkzeuge.

Kontakt

Institut für Softwaretechnik und Programmiersprachen

Universität Ulm
James-Franck-Ring
D-89069 Ulm

Gebäude O27, Niveau 4

Telefon: +49 (0)731 / 50 - 24161
Telefax: +49 (0)731 / 50 - 24162

Aktuelle Publikationen


default
Reif, Wolfgang
Risikofaktor Software
In Jantke, K. and Grieger, G. and Wittig, W., Editor, Impulse für Informatik-Innovationen
Herausgeber: Infix-Verlag,
1997
default
Reif, Wolfgang
Software-Verifikation und ihre Anwendungen
it+ti Themenheft Formale Entwurfsmethoden - Software Correctness
Herausgeber: Oldenbourg-Verlag,
1997
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 Band 1212 aus Lecture Notes in Computer Science
Herausgeber: Springer-Verlag,
1997
default
Achatz, Klaus; Schulte, Wolfram
Functional Object-oriented Programming with Object-Gofer
Informatik '97: Informatik als Innovationsmotor, Informatik aktuell
Herausgeber: 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