|
|
Vektorový grafický editor pro projekt AGE
Šebetovský, Jan ; Ježek, Pavel (vedoucí práce) ; Šerý, Ondřej (oponent)
Předložená práce se zabývá tématem vytvoření vektorového gra ckého editoru, který by bylo později možné zakomponovat do projektu AGE, jehož cílem je vytvořit integrovaný gra cký nástroj. Součástí této práce je také vytvořený základ pro tento editor, jehož předností oproti ostatním editorům je zejména práce s výrazy, pomocí kterých mohou být navázány parametry objektů na jiné objekty. Dále editor podporuje vrstvy (ve formě skupin objektů), export obrázku do bitmapových formátů a práci s Bézierovými křivkami. Navíc je program téměř zcela připraven na přidání filtrů, které vznikají jako jiná bakalářská práce.
|
|
|
Support for C++ in GMC
Šebetovský, Jan ; Kofroň, Jan (vedoucí práce) ; Hnětynka, Petr (oponent)
Software je používán na stále více místech našeho života a tak je stále důležitější jeho správnost. Proto je dobré přistoupit k jeho formální verifikaci. V současnosti neexistuje mnoho nástrojů pro verifikaci kódu v jazyce C++ a většina z nich neumí verifikovat všechny potřebné vlastnosti. Proto jsme se rozhodli rozšířit program GMC, který už uměl kontrolovat programy v jazyce C, o podporu jazyka C++. Kvůli značné rozsáhlosti jazyka C++ bylo cílem této práce implementovat jen základní vlastnosti jazyka (dědičnost, konstruktory, destruktory, virtuální metody a výjimky). Podpora všech těchto vlastností byla implementována až na výjimky, které jsou implementovány jen částečně. Powered by TCPDF (www.tcpdf.org)
|
|
|
Vektorový grafický editor pro projekt AGE
Šebetovský, Jan ; Ježek, Pavel (vedoucí práce) ; Šerý, Ondřej (oponent)
Předložená práce se zabývá tématem vytvoření vektorového gra ckého editoru, který by bylo později možné zakomponovat do projektu AGE, jehož cílem je vytvořit integrovaný gra cký nástroj. Součástí této práce je také vytvořený základ pro tento editor, jehož předností oproti ostatním editorům je zejména práce s výrazy, pomocí kterých mohou být navázány parametry objektů na jiné objekty. Dále editor podporuje vrstvy (ve formě skupin objektů), export obrázku do bitmapových formátů a práci s Bézierovými křivkami. Navíc je program téměř zcela připraven na přidání filtrů, které vznikají jako jiná bakalářská práce.
|
host ::
RSS.