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
Telefax: +49 (0)731 / 50 - 24162

Anfahrtsskizze

Aktuelle Publikationen

2000

403.
H. Knublauch and T. Rose, "Application Scenarios of Agent-Based Information Logistics in Clinical and Engineering Domains" in European Conference on Artificial Intelligence (ECAI), Workshop on Agent Technologies and Their Application Scenarios in Logistics, Berlin , 2000.
402.
C. Rupprecht, M. Fünffinger, H. Knublauch and T. Rose, "Capture and Dissemination of Experience about the Construction of Engineering Processes" in Twelfth Conference on Advanced Information Systems Engineering (CAISE), Stockholm, Sweden , 2000.
401.
R. Rose, H. Knublauch and G. Peinel, "Agenten in der pro-aktiven Prozessunterstützung" , Industrie-Management 4 , pp. 40-53 , 2000.
400.
E. Börger and J. Schmid, "Composition and Submachine Concepts for Sequential ASMs" in Computer Science Logics (CSL 2000) , Clote, P. G. and Schwichtenberg, H., Eds. Springer-Verlag , 2000. pp. 41-60.
399.
H. Knublauch, M. Sedlmayr and T. Rose, "Design Patterns for the Implementation of Constraints on JavaBeans" in NetObjectDays2000, Erfurt , 2000.