- Model-driven DevelopmentNSWI164 | Faculty of Mathematics and Physics
- Advanced topics in distributed and component-based systems INSWI057 | Faculty of Mathematics and Physics
- Advanced topics in distributed and component-based systems IINSWI058 | Faculty of Mathematics and Physics
- Software Engineering for Dependable SystemsNSWI054 | Faculty of Mathematics and Physics
