Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2019/2020

Bezpečnost softwaru - ADA

Předmět není vypsán Nerozvrhuje se
Kód Zakončení Kredity Rozsah
14YADA KZ 3 2+1
Přednášející:
Cvičící:
Předmět zajišťuje:
ústav aplikované informatiky v dopravě
Anotace:

Požadavky na software z hlediska bezpečnosti a spolehlivosti a cesty jejich dosažení, otázky udržovatelnosti a přenositelnosti, souvislost se systémy pracujícími v reálném čase, přístupy k tvorbě bezpečného a spolehlivého SW v Evropských normách, programovací jazyk ADA 95, praktické ukázky práce s implementací GNAT ADA a praktická cvičení, formální metody návrhu software a CASE systémy.

Požadavky:
Osnova přednášek:
Osnova cvičení:
Cíle studia:
Studijní materiály:
Poznámka:
Další informace:
Pro tento předmět se rozvrh nepřipravuje
Předmět je součástí následujících studijních plánů:
Platnost dat k 18. 9. 2019
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet23357705.html