Field of Research

The research is mainly concerned with various aspects of software engineering and compiler construction. In particular the emphasis is on methods, tools and formalisms for requirements engineering, experimental software engineering, formal methods for software development and the design of innovative software tools.


  • Institute of Software Engineering and Programming Languages
  • Universität Ulm
  • D-89069 Ulm
  • room: o27-417
  • phone: +49 (0)731/50-24161
  • fax: +49 (0)731/50-24162
  • e-mail: helmuth.partsch (at)