Szolgáltatásbiztos rendszertervezés szakirány

Felsőbb matematika

• Rendszeroptimalizálás
• Felsőbb matematika C
  • Matematikai logika
  • Alkalmazott algebra

Közös tárgyak

• Adatbiztonság
• Formális módszerek
• Nyelvek és automaták
• Szoftverarchitektúrák

Szakirányos tárgyak

1. félév

• Szolgáltatásbiztonságra tervezés
• Modellalapú szoftvertervezés
• Szolgáltatásintegráció

2. félév

• Szoftverellenőrzési technikák
• Autonóm és hibatűrő informatikai rendszerek
• Szolgáltatásbiztonságra tervezés laboratórium

3. félév

• Rendszerintegráció és -felügyelet laboratórium