Prohlížení Bakalářské práce - 18102 dle autora "Marek Bělohoubek"
-
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 ...