Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2023/2024
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Bezpečnost softwaru - ADA

Předmět není vypsán Nerozvrhuje se
Kód Zakončení Kredity Rozsah
14YADA KZ 3 2+1
Garant předmětu:
Přednášející:
Cvičící:
Předmět zajišťuje:
katedra 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 27. 3. 2024
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/cs/predmet23357705.html