Institut für Softwaretechnik und Programmiersprachen

Forschung

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.

Übersicht über unsere Forschung

Lehre

Neben Vorlesungen für Bachelor und Master-Studierende bieten wir auch Seminare und Projekte an.

Übersicht aller Lehrveranstaltungen

Themen für Abschlussarbeiten und Praktika

Kontakt & Anfahrt

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

Anfahrtsskizze

Aktuelle Publikationen

1998

54.
D. Fensel, F. von Hamelen, W. Reif and A. ten Teije, "Formal Support for the Development of Knowledge-based Systems" , Information Technology Management , vol. 2 , no. 4 , 1998.
53.
E. Börger and W. Schulte, "Defining the Java Virtual Machine as Platform for Provably correct Java Compilation" in Proceedings of the 23rd International Symposium on Mathematical Foundation of Computer Science (MFCS´98), Brno, Czech Republic , Brim, L. and Gruska, J. and Zlatuska, J., Eds. Springer-Verlag , 1998.
52.
D. Ernst and F. Houdek, "Applying Metrics to Cross-Technical Evaluations" in The European Software Measurement Conference Fesma 98, Antwerp, Belgium , Coombes, H. and Hooft van Huysduynen, M. and Peeters, B., Eds. 1998.
51.
T. Nipkow and W. Reif, "An Introduction to Interactive Theorem Proving" in Automated Deduction - A Basis for Applications , Bibel, W. and Schmitt, P., Eds. Kluwer Academic Publishers , 1998 .
50.
D. Ernst, F. Houdek and T. Schwinn, "An Experimental Comparison of Static and Dynamic Defect Detection Techniques" in Conference Proceedings of the Eleventh International Software Quality Week (QW 98), San Francisco, California , 1998.