Now showing items 1-3 of 3

  • Jazyk pro procedurální generování 

    Dobiáš, Roman
    Práca sa zaoberá návrhom a implementáciou knižnice s jazykom pre procedurálne generovanie, vychádzajúcim z L-systémov. Zmyslom práce je vytvoriť prakticky použiteľnú a jednoducho integrovateľú knižnicu, ktorá sa bude dať ...
  • Obecný systém pro testování interpretů 

    Drahošová, Michaela
    Práce se zabývá návrhem a implementací systému pro testování interpretů. Testování interpretů je založeno na principu porovnání výsledků interpretace testovacího programu s referenčními výsledky. Sada testovacích programů ...
  • Výukový nástroj pro barvené Petriho sítě 

    Navrátil, Ondřej
    Barvené Petriho sítě (CPN) jsou rozšířením klasických place-transition Petriho sítí (P/T PN). Všechny tokeny a místa zde mají svůj typ (příp. i hodnotu), do sítě lze dále vkládat různé typy inskripcí. CPN vynikají svou ...