Informatika - Softwarové systémy
Tato stránka vychází z podkladů pro tištěné studijní plány (tzv. Karolinku).
Garantující pracoviště: Katedra distribuovaných a spolehlivých systémů
Oborový garant: Prof. Ing. Petr Tůma, Dr.
Zaměření:
- – systémové programování
- – spolehlivé systémy
- – výkonné systémy
- – spolehlivé systémy
Tento program je určen studentům se zájmem o hluboké znalosti z oblasti programovacích jazyků a počítačových systémů. Nabízí tři zaměření - Systémové programování, které vybaví absolventa znalostmi o moderních operačních systémech a souvisejících technologiích jako middleware či virtual machines, Spolehlivé systémy, které se soustředí na metody systematické konstrukce systémů s vysokou spolehlivostí, a konečně Výkonné systémy, které kladou důraz na znalosti potřebné pro vývoj software na moderních paralelních a distribuovaných systémech.
Povinné předměty
kód | Předmět | Kredity | ZS | LS | |
NTIN066 | Datové struktury 1 | 6 | 2/2 Z+Zk | — | |
NTIN090 | Základy složitosti a vyčíslitelnosti | 4 | 2/1 Z+Zk | — | |
NSZZ023 | Diplomová práce I | 6 | — | 0/4 Z | |
NSZZ024 | Diplomová práce II | 9 | 0/6 Z | — | |
NSZZ025 | Diplomová práce III | 15 | — | 0/10 Z |
Povinně volitelné předměty
Hlavní náplň programu představují následující povinně volitelné předměty, u kterých program požaduje studium podle preferencí studenta v objemu nejméně 48 kreditů. Při volbě předmětů je vhodné zohlednit také budoucí zaměření odborné části státní závěrečné zkoušky.
kód | Předmět | Kredity | ZS | LS | |
NSWI151 | Administrace virtualizační infrastruktury | 3 | — | 0/2 Z | |
NSWI132 | Analýza programů a verifikace kódu | 5 | — | 2/2 Z+Zk | |
NSWI176 | Dynamický překlad prakticky | 2 | — | 0/2 Z | |
NSWI133 | Firemní semináře | 2 | 0/2 Z | — | |
NTIN043 | Formální základy softwarového inženýrství | 5 | 2/2 Z+Zk | — | |
NPRG014 | Koncepty moderních programovacích jazyků | 4 | 0/3 Z | — | |
NSWI109 | Konstrukce překladačů | 4 | — | 2/1 Z+Zk | |
NSWI080 | Middleware | 4 | — | 2/1 KZ | |
NSWI164 | Modelem řízený vývoj | 2 | 0/1 Z | — | |
NSWI101 | Modely a verifikace chování systémů | 5 | 2/2 Z+Zk | — | |
NSWI089 | Ochrana informací 1 | 3 | 2/0 Zk | — | |
NSWI071 | Ochrana informací 2 | 3 | — | 2/0 Zk | |
NSWI026 | Pokročilé aspekty softwarového inženýrství | 5 | — | 2/2 Z+Zk | |
NSWI126 | Pokročilé nástroje pro vývoj a monitorování software | 2 | — | 0/2 Z | |
NSWI161 | Pokročilé operační systémy | 3 | — | 2/0 Zk | |
NPRG058 | Pokročilé programování v paralelním prostředí | 6 | 2/2 Z+Zk | — | |
NMAI060 | Pravděpodobnostní metody | 3 | 2/0 Zk | — | |
NSWI035 | Principy distribuovaných systémů | 3 | 2/0 Zk | — | |
NAIL094 | Rozhodovací procedury a SAT/SMT řešiče | 5 | — | 2/2 Z+Zk | |
NSWI054 | Softwarové inženýrství pro spolehlivé systémy | 3 | — | 0/2 Z | |
NDBI042 | Techniky vizualizace dat | 4 | — | 2/1 Z+Zk | |
NSWE001 | Vestavěné systémy a systémy reálného času | 5 | — | 2/2 Z+Zk | |
NSWI150 | Virtualizace a cloud computing | 3 | 2/0 Zk | — | |
NSWI131 | Vyhodnocování výkonnosti počítačových systémů | 4 | — | 2/1 Z+Zk | |
NSWI057 | Výběrový seminář z distribuovaných a komponentových systémů I | 3 | 0/2 Z | 0/2 Z | |
NSWI152 | Vývoj cloudových aplikací | 3 | — | 0/2 Z | |
NPRG075 | Design programovacích jazyků | 2 | 0/2 Z | — |
Povinně volitelné předměty z bakalářského programu
Program dává prostor pro další studium předmětů předchozího bakalářského programu v objemu nejméně 8 kreditů. Tuto povinnost je možné splnit také uznáním předmětů z předchozího bakalářského studia podle platných studijních předpisů. Započítané předměty bakalářského programu jsou:
kód | Předmět | Kredity | ZS | LS | |
NPRG038 | Pokročilé programování v jazyce C# | 5 | — | 2/2 Z+Zk | |
NPRG051 | Pokročilé programování v C++ | 5 | — | 2/2 Z+Zk | |
NPRG021 | Pokročilé programování v jazyce Java | 5 | — | 2/2 Z+Zk | |
NSWI153 | Pokročilé programování webových aplikací | 5 | — | 2/2 Z+Zk | |
NPRG043 | Doporučené postupy v programování | 5 | — | 2/2 KZ | |
NPRG054 | Vývoj vysoce výkonného software | 6 | — | 2/2 Z+Zk | |
NPRG056 | Programování mobilních zařízení | 3 | 0/2 Z | — | |
NPRG042 | Programování v paralelním prostředí | 6 | — | 2/2 Z+Zk | |
NSWI143 | Architektura počítačů | 3 | — | 2/0 Zk | |
NSWI098 | Principy překladačů | 6 | 2/2 Z+Zk | — |
Povinně volitelné předměty týmového projektu
Program požaduje absolvovat jeden z předmětů týmového projektu:
kód | Předmět | Kredity | ZS | LS | |
NPRG069 | Softwarový projekt | 12 | 0/8 Z | 0/8 Z | |
NPRG070 | Výzkumný projekt | 9 | 0/6 Z | 0/6 Z | |
NPRG071 | Firemní projekt | 6 | 0/4 Z | 0/4 Z |
Státní závěrečná zkouška
Požadavky k odborné části státní závěrečné zkoušky jsou dány zvoleným zaměřením programu.
Zaměření: Systémové programování
Toto zaměření ověřuje znalosti a dovednosti týkající se systémového programování a vnitřní funkce softwarových systémů, zkoušené v rozsahu následujících profilujících předmětů:
kód | Předmět | Kredity | ZS | LS | |
NPRG014 | Koncepty moderních programovacích jazyků | 4 | 0/3 Z | — | |
NSWI080 | Middleware | 4 | — | 2/1 KZ | |
NSWI161 | Pokročilé operační systémy | 3 | — | 2/0 Zk | |
NPRG058 | Pokročilé programování v paralelním prostředí | 6 | 2/2 Z+Zk | — | |
NSWI035 | Principy distribuovaných systémů | 3 | 2/0 Zk | — |
Zaměření: Spolehlivé systémy
Toto zaměření ověřuje znalosti a dovednosti týkající se konstrukce spolehlivých softwarových systémů, zkoušené v rozsahu následujících profilujících předmětů:
kód | Předmět | Kredity | ZS | LS | |
NSWI132 | Analýza programů a verifikace kódu | 5 | — | 2/2 Z+Zk | |
NTIN043 | Formální základy softwarového inženýrství | 5 | 2/2 Z+Zk | — | |
NSWI164 | Modelem řízený vývoj | 2 | 0/1 Z | — | |
NSWI101 | Modely a verifikace chování systémů | 5 | 2/2 Z+Zk | — | |
NSWE001 | Vestavěné systémy a systémy reálného času | 5 | — | 2/2 Z+Zk |
Zaměření: Výkonné systémy
Toto zaměření ověřuje znalosti a dovednosti týkající se konstrukce softwarových systémů s vysokým výpočetním výkonem, zkoušené v rozsahu následujících profilujících předmětů:
kód | Předmět | Kredity | ZS | LS | |
NSWI109 | Konstrukce překladačů | 4 | — | 2/1 Z+Zk | |
NPRG058 | Pokročilé programování v paralelním prostředí | 6 | 2/2 Z+Zk | — | |
NSWI035 | Principy distribuovaných systémů | 3 | 2/0 Zk | — | |
NSWI150 | Virtualizace a cloud computing | 3 | 2/0 Zk | — | |
NSWI131 | Vyhodnocování výkonnosti počítačových systémů | 4 | — | 2/1 Z+Zk |