Courses on software development, formal methods, and semantic foundations are offered.

All courses are held as part of the Elite Graduate Programme "Software engineering".

The course descriptions and the course material is currently only available in German.

  • Software development of embedded systems
  • Model-based software development
  • Testing
  • Formal methods
  • Modelling, specification and verification of reactive systems
  • Semantics of programming languages