• Model Driven Engineering
  • Modelling of Software-intensive Systems
  • Software Testing
  • Selected Topics in Software Engineering
  • Specification and Verification
  • Programming Paradigms