Modellalapú szoftvertervezés

Modell alapú rendszertervezés

Tárgykód	VIMIM147
Általános infók
Szak	info MSc
Kredit	4
Ajánlott félév	1
Tanszék	MIT
Követelmények
Házi feladat	1 db
Vizsga	szóbeli
Elérhetőségek
Tantárgyi adatlap
Tárgyhonlap

Előadásanyag

• MDSD előadások 00-05
• MDSD előadások 06-13

Viszga

• Vizsga tétel-EA dia pointer + külső forrás
• 2017-es viszga kidolgozás (kézzel írt)

Kritikus rendszerek - Mérnök informatikus MSc
1. félév (tavasz)	Adatbiztonság  •  Formális módszerek  •  Modellalapú szoftvertervezés  •  Rendszeroptimalizálás  •  Szolgáltatásbiztonságra tervezés  •  Szolgáltatásintegráció
2. félév (ősz)	Alkalmazott algebra  •  Autonóm és hibatűrő informatikai rendszerek  •  Matematikai logika  •  Nyelvek és automaták  •  Szoftverarchitektúrák  •  Szoftverellenőrzési technikák  •  Szolgáltatásbiztonságra tervezés laboratórium
3. félév (tavasz)	Rendszerintegráció és -felügyelet laboratórium
Egyéb	Kötelezően választható tárgyak  •  Mérnöki menedzsment  •  Befektetések  •  Érvelés, tárgyalás, meggyőzés  •  Információs társadalom joga  •  Minőségmenedzsment  •  Projektmenedzsment  •  Vállalati jog  •  Vezetői számvitel