Diese Seiten werden seit November 2007 nicht mehr aktualisiert.
Bitte verwenden Sie die unter www.uni-ulm.de/in/pm erreichbaren neuen Seiten unseres Instituts.

Effective from November 2007 these pages are no longer updated.
Please proceed to www.uni-ulm.de/en/in/pm to visit our institute's new pages.

Überblick

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.

Anschrift

Institut für Programmiermethodik und Compilerbau

Fakultät für Ingenieurwissenschaften und Informatik

Universität Ulm

D-89069 Ulm

 

Telefon: +49-731-50-24161

Fax: +49-731-50-24162

Lage: Oberer Eselsberg, Gebäudekreuz o27, Niveau 4