Prohlížení dle předmětu "conceptual modelling, Haskell, verification, validation, visualization, MDD, formal specification, compiler-driven modelling"
Zobrazují se záznamy 1-1 z 1
-
Podpora konceptuálního modelování pro jazyk Haskell
; Vedoucí práce: Pergl Robert; Oponent práce: Buchtela David
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-14)Diplomová práce se zabývá problematikou provázanosti konceptuálního modelování s implementací informačních systémů a navrhuje řešení pro reprezentaci konceptuálních modelů přímo v programovacím jazyce Haskell včetně jejich ...