Zpět na vyhledávání

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 …more
Abstract:
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
 

Keywords

CTL formula Temporálna logika Swing Editor grafická reprezentácia formúl
 
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.

Citation record

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.