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ů: