Ü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

Neue Veröffentlichung: Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer, and Matthias Tichy. Evolution of software in automated production systems - challenges and research directions. Opens external link in new windowJournal of Systems and Software. (to appear). 
Neue Veröffentlichung: Salome Maro, Jan-Philipp Steghöfer, Anthony Anjorin, Matthias Tichy, and Lars Gelin. On integrating graphical and textual editors for a uml based domain specific language - an industrial experience. In Opens external link in new windowProc. of 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015. 
Neue Veröffentlichung: Birgit Vogel-Heuser, Susanne Rösch, Antonio Martini, and Matthias Tichy. Technical debt in automated production systems. In Proc. of the Opens external link in new window7th International Workshop on Managing Technical Debt, October 2nd, Bremen, Germany, 2015. 
Neue Veröffentlichung: Grischa Liebel and Matthias Tichy. Comparing comprehensibility of modelling languages for specifying behavioural requirements. In Proc. of the Opens external link in new windowFirst International Workshop on Human Factors in Modeling (HuFaMo’15) at MODELS 2015, September 28th, Ottawa, Canada, 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 Opens external link in new windowKeynote 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