• Inteligentní webové komponenty pro STPA analýzu 

      Autor: Artur Useinov; Vedoucí práce: Ahmad Jana; Oponent práce: Lališ Andrej
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-08)
      V posledních letech byla překročena poptávka po budování bezpečnějších systémů ve srovnání s tradičními. Tato poptávka po takovém upgradu vychází z častých změn v našem každodenním životě a technologických inovací, které ...
    • Vyhodnocování výrazů dotazů v relační algebře 

      Autor: Lukáš Kotlík; Vedoucí práce: Svoboda Martin; Oponent práce: Ahmad Jana
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-01)
      Relační algebra je formální dotazovací jazyk nad relačním modelem dávající relačním databázovým systémům pevné a formálně dobře definované základy. V této bakalářské práci jsme navrhli a naimplementovali webovou aplikaci, ...