cvut-oi-mssz PDF
00-template- složka obsahující šablonu pro tvorbu nové otázky- k indentování používat 4 mezery (NE tabulátor)
- generování PDF:
- 2-3 běhy generování (kvůli správné indexaci křížových odkazů)
- commit message při změně/úpravě otázek:
05/TAL
+ algoritmus
+ spravnost (variant, invariant)
- před commitem:
- zkontrolovat zda neobsahuje nějaké temp soubory (případně je zahrnout do
.gitignore) - přegenerovat výsledné PDF (aby repozitář vždy obsahoval aktuální PDF)
- zkontrolovat zda neobsahuje nějaké temp soubory (případně je zahrnout do
reference.bib- seznam veškeré literatury/_lib/csplainnat.bst- podpora českýho typu citací/_lib/colors.sty- vlastně definované barvy/_lib/qtree.sty- knihovna pro kreslení stromů https://www.ling.upenn.edu/advice/latex/qtree//_lib/infodata.sty- soubor s doplňujícími informacemi na úvodní stranu (nadpisy apod.)/_lib/codestyle.sty- soubor s doplňujícími příkazy pro výpisy kódu- definice barev pro klíčová slova kódu
- SQL, HTML, Java, PHP
/_lib/mathstyle.sty- soubor s doplňujícími příkazy pro matematické rovnice, matice apod./_lib/macros.sty- soubor s dalšími doplňujícími příkazy)
TPJ- Sémantika: operační sémantika, denotační sémantika, pevný bod funkce, vázání jmen, stav programu a data.TPJ- Statická sémantika: typy, polymorfní typy, typy vyššího řádu, rekonstrukce (inference) typů, abstraktní typy.NUR- Teorie HCI, kognitivní aspekty, způsoby interakce, speciální uživatelská rozhraní.NUR- Metody návrhu, uživatelské a konceptuální modely.NUR- Formální popis uživatelských rozhraní.NUR- Prototypování uživatelských rozhraní.OSP- Techniky správy a organizace rozsáhlých softwarových projektů. Nástroje pro správu verzí zdrojových kódů, sledování chyb, pro automatické generování dokumentace a podporu orientace v rozsáhlých projektech. Způsoby komunikace mezi vývojáři navzájem a i s uživateli. Systémy pro sledování a řešení chyb a uživatelskou podporu. Open-source licence a z nich vyplývající práva a licence. Postup začlenění úpravy (patche) do velkého open-source projektu (např. Linuxové jádro).OSP- Požadavky a pravidla pro tvorbu přenositelného kódu. Organizace projektů a struktura operačních systémů pro zajištění přenositelnosti mezi různými platformami (OS, CPU). Vnitřní a vnější reprezentace dat, převody mezi nimi, vztah k síťovým protokolům (endianing, serializace atd.).AOS- Co je to architektura zaměřená na služby (SOA)? Základní pojmy, vztah k objektově orientované architektuře. Konceptuální model a formalismy pro modelování SOA.AOS- Webové služby. K čemu slouží? Popis a vyhledávání služeb. Technologie pro implementaci a nasazení služeb a klientů. Protokoly, kódování obsahu. Top-down a bottom-up design.AOS- Webové služby, automatická kompozice služeb. Orchestrace a choreografie, web mash-up. Modelování služeb a procesů (BPMN, BPEL).AOS- Architektura zaměřená na služby (SOA). Kvalita, výkonost a škálování služeb. Zabezpeční, integrita, bezpečnost, a autentifikace služeb. Point-to-point a end-to-end šifrování.TVS- Kategorizace SW chyb, optimalizace návrhu testů. Testování automatů.TVS- Testovaní metodami bílé a černé skřínky. Strukturální, statická a dynamická analýza. Analýza datových toků. Testování objektově orientovaného softwaru.TVS- Formální specifikace programu. Verifikace pomocí metod automatického dokazování a metody model-checking.WA2- Architektura Java EE, funkce jednotlivých vrstev, životní cyklus standardizovaných komponent Java EE, návrhové vzory využitelné v architektuře webové aplikace.WA2- Vhodnost nasazení jednotlivých webových architektur, sdílení dat, perzistence, webové služby a REST, asynchronnost, messaging.WA2- Není - okruh zrušenWA2- Cloud architektury, virtualizace, různá pojetí cloudových řešení, omezení cloudových aplikací, náklady na provoz, vlastnosti aplikací vhodných pro nasazení v cloud architektuře.