Grafická reprezentace formulí logiky CTL – Mgr. Alena Goljerová
Mgr. Alena Goljerová
Bachelor's thesis
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 …moreAbstract:
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 …more
Language used: Slovak
Date on which the thesis was submitted / produced: 19. 5. 2014
Identifier:
https://is.muni.cz/th/b8kxm/
Thesis defence
- Date of defence: 19. 6. 2014
- Supervisor: prof. RNDr. Luboš Brim, CSc.
- Reader: prof. RNDr. Jiří Barnat, Ph.D.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
- No theses on a related topic available.