Jazyk ADA a zabezpečenost programovacích jazyků kritické aplikace

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