Search
Odevzdávaným výstupem každé úlohy je zpráva (PDF, HTML, plain text), kde je vedle samozřejmých částí, jako jsou
Zpráva by měla být co nejkratší, ale nesmí v ní nic podstatného chybět. Odevzdávají se rovněž zdrojové kódy řešící úlohu. Součástí bodového hodnocení úlohy je kvalita zpracování zprávy.
Na cvičení budete potřebovat Uppaal, Alloy a váš oblíbený skriptovací jazyk pro generování zpráv. Každý student/tým si může zvolit vývojové prostředí dle svých dovedností, např. Python, Java, C++/C, Ruby, PHP, C#, Lua, apod. či výpočty počítat na prstech jedné ruky nebo pomocí kalkulačky. Doporučeným programovacím jazykem je Python, pro který existuje řada podpůrných knihoven, které lze s výhodou použít v rámci tohoto předmětu. Úkolem předmětu není Vás naučit programovat, ale používat vhodné prostředky, které se k dané problematice váží. Vzhledem k předpokládanému poslednímu roku magisterského studia je na každém týmu, aby nalezl a rozhodl se pro efektivní řešení (samozřejmě s vyjímkou plagiátů), které úlohu splní ve vymezené době. Také by se vám mohl hodit Graphviz.
Úlohy se odevzdávaji do systému Upload/Brute. Deadline pro odevzdání úlohy je obvykle následující cvičení. Na některé úlohy však bude poskytnuta delší doba.
POZOR! Bude průběžné aktualizován.