Hledat
Zobrazují se záznamy 1-2 z 2
Verifikace OntoUML modelů na platformě OpenPonk, OntoUML Models Verification for the OpenPonk platform
; 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 ...
Rozšíření možností modelování v OntoUML na platformě OpenPonk, Extending OntoUML Modelling Capabilities on the OpenPonk Platform
; 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ů ...