Odevzdávaným výstupem každé úlohy je zpráva (PDF, HTML, plain text), kde je vedle samozřejmých částí, jako jsou

• jména autorů,
• zadání úlohy (kopie), a
• závěr,
• uvedeno jak jste úlohu řešili,
• k jakým výsledkům jste došli,
• na jaké potíže jste narazili a
• jak jste se s nimi vypořádali.

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.