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

Zabezpečenost programovacích jazyků pro kritické aplikace

Předmět není vypsán Nerozvrhuje se
Kód Zakončení Kredity Rozsah
14ZJA ZK
Garant předmětu:
Přednášející:
Cvičící:
Předmět zajišťuje:
katedra aplikované informatiky v dopravě
Anotace:

Specifika tvorby rozsáhlých systémů pracujících v reálném čase. Problémy s testováním SW a dokazováním jeho korektnosti. Zabezpečenost programovacích jazyků jako obrana proti programátorským chybám, její rozbor. Jazyk ADA a rozbor jeho zabezpečenosti.

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 9. 10. 2024
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/cs/predmet2580906.html