Vizualizace stavových prostorů – Bc. Marek Moravčík
Bc. Marek Moravčík
Bakalářská práce
Vizualizace stavových prostorů
State space visualization
Abstract:
The main aim of the thesis is to provide an overview of existing tools used for state space visualization and their comparison. Next section is devoted to creating a tool which visualizes state spaces created by DiVinE program. The last part of the work describes the semantics of created visualizations.Abstract:
Cieľom tejto práce je poskytnúť prehľad existujúcich nástrojov používaných pri vizualizácií stavových priestorov a ich porovnanie. Ďalšia časť práce je venovaná vytvoreniu nástroja vizualizujúceho stavové priestory tvorené nástrojom DiVinE. Posledná časť popisuje sémantiku vo vytvorených vizualizáciách.
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 24. 5. 2010
Identifikátor:
https://is.muni.cz/th/p9sra/
Obhajoba závěrečné práce
- Obhajoba proběhla 23. 6. 2010
- Vedoucí: prof. RNDr. Luboš Brim, CSc.
- Oponent: RNDr. Milan Češka, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
- Žádné práce na příbuzné téma.