Master courses

Model driven engineering: description | course material

Modelling of software-intensive systems: description | course material

Programming paradigms: description | course material

Selected topics in software engineering: description | course material

Software reengineering: description | course material

Software testing: description | course material

Specification and verification: description