- Modelem řízený vývojNSWI164 | Matematicko-fyzikální fakulta
- Výběrový seminář z distribuovaných a komponentových systémů INSWI057 | Matematicko-fyzikální fakulta
- Výběrový seminář z distribuovaných a komponentových systémů IINSWI058 | Matematicko-fyzikální fakulta
- Softwarové inženýrství pro spolehlivé systémyNSWI054 | Matematicko-fyzikální fakulta