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

55.
Schellhorn, Gerhard
Proving Properties of Directed Graphs: A Problem Set for Automated Theorem Provers
Dokument Nummer: 98-12
Universität Ulm
1998
54.
Ahrendt, W.; Beckert, B.; Hähnle, R.; Menzel, W.; Reif, Wolfgang; Schellhorn, Gerhard; Schmitt, P.
Integrating Automated and Interactive Theorem Proving
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications Band 2: Systems and Implementation Techniques
Kapitel 1: Interactive Theorem Proving
Herausgeber: Kluwer Academic Publishers
1998
53.
Fensel, D.; von Hamelen, F.; Reif, Wolfgang; ten Teije, A.
Formal Support for the Development of Knowledge-based Systems
Information Technology Management, 2 (4)
1998
52.
Börger, Egon; Schulte, Wolfram
Defining the Java Virtual Machine as Platform for Provably correct Java Compilation
In Brim, L. and Gruska, J. and Zlatuska, J., Editor, Proceedings of the 23rd International Symposium on Mathematical Foundation of Computer Science (MFCS´98), Brno, Czech RepublicBand1450ausLecture Notes in Computer Science
In Brim, L. and Gruska, J. and Zlatuska, J., Editor
Herausgeber: Springer-Verlag
1998
51.
Ernst, Dietmar; Houdek, Frank
Applying Metrics to Cross-Technical Evaluations
In Coombes, H. and Hooft van Huysduynen, M. and Peeters, B., Editor, The European Software Measurement Conference Fesma 98, Antwerp, Belgium
In Coombes, H. and Hooft van Huysduynen, M. and Peeters, B., Editor
1998