Ü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.
Prof. Dr. Thom Frühwirth Program ist Mitglied im Programmkommitee der Opens external link in new window17th International Symposium on Principles and Practice of Declarative Programming - PPDP 2015, Siena, Italien, 14-16. Juli 2015.
Prof. Dr. Thom Frühwirth ist Senior-Mitglied im Programmkommitee der Opens external link in new window24th International Joint Conference on Artificial Intelligence - IJCAI 2015, Buenos Aires, 25-31. Juli, 2015.
Prof. Dr. Thom Frühwirth ist Keynote Speaker der Opens external link in new window9th International Web Rule Symposium - RuleML 2015, Berlin, 3-5. August, 2015.
Prof. Dr. Thom Frühwirth ist Mitglied im Programmkommitee der Opens external link in new window31st International Conference on Logic Programming - ICLP 2015, Cork, Irland, 31. August - 4. September, 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