Ing. Štěpán Plachý

Ing. Štěpán Plachý

Ing. Jakub Jirůtka

Katedra teoretické informatiky

Cílem této práce je návrh a implementace šablonavacího jazyka, pro tvorbu HTML stránek, který se zaměřuje na podporu funkcionálního stylu programování, pomocí nehož lze vylepšit vlastnosti šablonovacích jazyků. Základními vlastnostmi navrženého jazyka jsou podpora funkcí vyššího řádu, anonymní funkce a silný typovací systém. Pro šablonovací jazyk byla vytvořena formální gramatika a implementace překladače byla provedena v programovacím jazyce Haskell.

Práce na DSpace

Ing. Štěpán Plachý

doc. Ing. Jan Janoušek, Ph.D.

Katedra teoretické informatiky

Tato bakalářská práce se zabývá omezením možných hodnot výrazu reprezentovaného pomocí abstraktního syntaktického stromu na základě omezení hodnot vstupních proměnných. Výrazy mohou obsahovat hodnoty různých datových typů. Práce představuje průchod abstraktním syntaktickým stromem, jehož výsledek obsahuje všechny hodnoty, které mohly vzniknout vyhodnocením výrazu s každým ohodnocením proměnných splňující omezení. Práce se zaobírá návrhem potřebných datových struktur a vyhodnocením vybraných funkcí. Navržený průchod je implementován do vyhodnocovače výrazů elektronické klasifikace Grades, který podporuje datové typy číslo, řetězec a boolean. Rozšíření vyhodnocovače umožní přídání funkcionality do aplikace Grades pro zjištění všech potencionálních klasifikací v jednotlivých předmětech a také pro automatizovanou kontrolu definice hodnocení.

Práce na DSpace

Ing. Štěpán Plachý

Ing. David Bernhauer

Katedra softwarového inženýrství

Tato práce se zabývá redesignem a přepsáním webové aplikace (frontend) pro projekt Grades do nejnovějších technologií s podporou offline funkcionality a optimalizací pro obrazovky mobilních zařízení. Nová webová aplikace komunikuje se stávajícím Grades API. Umožňuje studentům získávat informace o své klasifikaci z jednotlivých předmětů. Učitelům umožňuje pohodlné hodnocení studentů. Aplikace je naprogramována ve frameworku Angular a architektura je zvolena tak, aby byla co nejvíce modulární a udržovatelná.

Práce na DSpace

Ing. Štěpán Plachý

Ing. Tomáš Pecka

Katedra teoretické informatiky

Tato bakalářská práce se zabývá analýzou, návrhem a implementací překladače jazyka kontrol navrženého Českou národní bankou. Tento překladač umožňuje překlad jazyka kontrol do jazyka SQL, který je následně možné spustit přímo nad databázovým serverem, kde se nachází data, která výraz v jazyce kontrol validuje. V rámci práce je provedena analýza jednotlivých částí tohoto jazyka a jejich možnosti pro překlad pro vícero druhů relačních databází. Je vypracován konkrétní návrh struktury tohoto překladače a jeho jednotlivých částí, na základě kterého je překladač implementován pomocí programovacího jazyka PHP.

Práce na DSpace

Ing. Štěpán Plachý

Katedra teoretické informatiky

Tato práce se zabývá k-lokálními deterministickými konečnými stromovými automaty (DKSA), které hrají důležitou roli při hledání vzorů ve stromových strukturách. Existuje pracovně optimální paralelní algoritmus pro běh k-lokálních DKSA na výpočetním modelu EREW PRAM. Tento algoritmus bude implementován, experimentálně změřen a porovnán se sekvenčním algoritmem v této práci.

Práce na DSpace