HOFFMANN, M. Generování sekvenčních diagramů z modelů Petriho sítí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.

Posudky

Posudek vedoucího

Kočí, Radek

Přístup studenta hodnotím jako výborný a s výsledným řešení jsem velmi spokojen.

Dílčí hodnocení
Kritérium Známka Body Slovní hodnocení
Informace k zadání Práce navazuje na výsledky v oblasti aplikací Objektově Orientovaných Petriho sítí (OOPN) a vytváří nástroj pro generování sekvenčních diagramů podle informací z existující implementace simulátoru OOPN. Nástroj se má stát součástí (modul) existujícího editoru OOPN. Náročností odpovídá zadání standardní diplomové práci. Student systém vytvořil podle mých očekávání, zadání bylo splněno.
Práce s literaturou Student využil základní zdroje doporučené vedoucím práce, další studijní materiály vyhledal samostatně.
Aktivita během řešení, konzultace, komunikace Student byl během řešení velmi aktivní, probíhaly pravidelné konzultace i konzutace na žádost studenta. Na konzultace byl vždy dobře připraven a diskutovaly se relevantní otázky práce.
Aktivita při dokončování Aktivita při dokončování byla velmi dobrá, realizace i technická zpráva byla konzultována s dostatečným předstihem.
Publikační činnost, ocenění
Navrhovaná známka
A
Body
95

Posudek oponenta

Janoušek, Vladimír

Jde o kvalitně navržené, implementované a zdokumentované dílo.

Dílčí hodnocení
Kritérium Známka Body Slovní hodnocení
Náročnost zadání Zadání požaduje doplnění dodatečné funkcionality do stávajícího řešení.
Rozsah splnění požadavků zadání
Rozsah technické zprávy 68 stran v LaTeXu.
Prezentační úroveň technické zprávy 90 Struktura práce je v pořádku, text je naprosto srozumitelný a jasný. Postrádal jsem jen informaci o tom, jak se se sekvenčními diagramy pracuje v jiných nástrojích pro modelem řízený návrh, ve srovnání s tím, jak se s nimi pracuje v prezentovaném řešení.
Formální úprava technické zprávy 90 Typograficky a jazykově je zpráva na velmi dobré úrovni. Z hlediska vizuální vyváženosti mohly být některé obrázky (např. 4.4 a 4.5) o něco menší, ale to je detail.
Práce s literaturou 90 Bez výhrad.
Realizační výstup 100 Realizační výstup je funkční a je zcela v souladu s dokumentací. Návrh byl proveden rozumně, vede k dobře použitelnému řešení, splňující všechny požadavky na výsledné dílo.
Využitelnost výsledků Jde o implementaci nové funkcionality do existujícího nástroje pro editaci a simulaci objektově orientovaných Petriho sítí. Výsledek je přímo prakticky použitelný.
Navrhovaná známka
A
Body
90

eVSKP id 144762