Ü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

  • Weltrekordversuch im Robotersegeln am 9. bis 19. Juli in Eckenförde Opens external link in new windowmehr
  • 9th International Workshop on Constraint Handling Rules (Opens external link in new windowCHR 2012), Budapest, Ungarn, 4. September 2012
  • Prof. Dr. Thom Frühwirth ist Program committee member der Opens external link in new windowICLP 2012, Budapest, Ungarn, 4-8. September 2012

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