• Rozšíření možností modelování v OntoUML na platformě OpenPonk 

      Autor: Marek Bělohoubek; Vedoucí práce: Pergl Robert; Oponent práce: Blizničenko Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-04)
      Tato práce se zaměřuje na rozšíření možností pro vytváření OntoUML modelů na platformě OpenPonk. Toto rozšíření je rozděleno do čtyř částí. Prvním rozšířením je grafické uživatelské rozhraní pro zobrazování výsledků ...
    • Verifikace OntoUML modelů na platformě OpenPonk 

      Autor: Marek Bělohoubek; Vedoucí práce: Pergl Robert; Oponent práce: Blizničenko Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-15)
      Tato práce se zaměřuje na vytvoření nového frameworku, který bude použit pro verifikaci OntoUML modelů na platformě OpenPonk. Pro to je nutné nejdříve popsat a analyzovat jazyk OntoUML a platformu OpenPonk. Na základě této ...