Grafická reprezentace formulí logiky CTL – Mgr. Alena Goljerová
Mgr. Alena Goljerová
Bakalářská práce
Grafická reprezentace formulí logiky CTL
Graphical representation of CTL formulas
Abstract:
This thesis deals with CTL formulas and their manipulation. In the beginning of the thesis are introduced theoretical foundations of temporal logic and computation tree logic. In the next section is introduced java library Swing, which is used for implementing the program. In the practical part is implemented a graphical editor for working with CTL formulas. The editor conducts basic editing operations …víceAbstract:
Táto práca sa zaoberá CTL (Computation Tree Logic) formulami a prácou s nimi. V úvodných kapitolách práce sú popísané teoretické základy, týkajúce sa temporálnej logiky a CTL. Ďalej je v práci predstavená javovová knižnica Swing, ktorá je použitá pri implementácii programu. V praktickej časti je implementovaný grafický editor na prácu s CTL formulami. Editor obsahuje základné editačné operácie. Hlavným …více
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 19. 5. 2014
Identifikátor:
https://is.muni.cz/th/b8kxm/
Obhajoba závěrečné práce
- Obhajoba proběhla 19. 6. 2014
- Vedoucí: prof. RNDr. Luboš Brim, CSc.
- Oponent: prof. RNDr. Jiří Barnat, 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.