Ü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.

Aktuelles

Prof. Dr. Helmuth Partsch ist Mitglied im Programmausschuss der Opens external link in new windowRequirements Engineering Conference (RECONF 2015), München, 16-19. März 2015.

Kontakt

  • Institut für Programmiermethodik und Compilerbau
  • Universität Ulm
  • D-89069 Ulm
  • Telefon: +49 (0)731/50-24161
  • Telefax: +49 (0)731/50-24162
  • Raum: o27-419