Institut für Programmiermethodik und Compilerbau

Zentrale Forschungsthemen des Instituts für Programmiermethodik und Compilerbau im Hinblick auf die systematische Entwicklung komplexer, zuverlässiger und softwaregestützter Systeme sind verschiedene Aspekte der Softwaretechnik und des Compilerbaus, insbesondere funktionale und nicht-funktionale Anforderungen, modellgetriebene Softwareentwicklung, formale Methoden in der Softwareentwicklung, funktionale und constraintbasierte Programmiersprachen sowie die Entwicklung innovativer Softwarewerkzeuge. Dies wird ergänzt durch die Anwendung empirischer Forschungsmethoden. Diese ermöglichen z.B. die Identifikation von Problemen und Schwachstellen in im Unternehmen angewandten Softwareentwicklungsmethoden  sowie die systematische Evaluation neu entwickelter Methoden. Das Institut ist verantwortlich für die Studiengänge Softwareengineering (Bachelor und Master) der Universität Ulm.

Forschungsschwerpunkt / Know-how

Ausstattung

verschiedenste aktuelle Softwareentwicklungswerkzeuge, z.B.,

• IDEs
• Testautomatisierungswerkzeuge
• Buildserver
• Versionierungs- und Konfigurationsmanagementsoftware
• Projektmanagementsoftware
• Bugtracker
• UML Werkzeuge

Angebote

Projektbeispiele

• Mitentwicklung der open source Softwarewerkzeuge Henshin und CoreASM
• quantitative Abschätzung des Aufwands der Einführung neuer AUTOSAR Versionen
• Entwicklung einer textuellen domänenspezifische Sprache
• Iterative Entwicklung eines innovativen Softwareprototypen mit einem Fahrzeughersteller
• Studie zu Schwächen im Anforderungsmanagement bei einem Fahrzeughersteller und einem Zulieferer
• Software-Labor (experimentelle Untersuchung spezifischer Fragestellungen im Bereich der Softwareentwicklung)