Bakalářská práce

Grafická reprezentace formulí logiky CTL

Graphical representation of CTL formulas

Alena Goljerová
Anotace

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

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íce

Klíčová slova
CTL formula Temporálna logika Swing Editor grafická reprezentácia formúl
Zadání práce
Cílem práce je zvolit vhodnou grafickou reprezentaci temporálních formulí logiky CTL, která umožní intuitivní zadávání formulí bez speciálních matematických znalostí. Pro tuto reprezentaci pak implementovat grafický editor, který dovolí realilzovat všechny očekávané editační operace, jako např. grafické reprezentace zobrazovat, zvětšovat a zmenšovat, vytvářet, upravovat, ukládat a načítat, kopírovat a vkládat, exportovat do textové podoby, importovat z textové formy. Editor by měl také umožnit upravovat seznam výchozích formulí o další, často používané, vzory formulí. Požadovaný implementační jazyk není zadán.
Administrativní informace
Práce zkontrolována:
20. 5. 2014 07:59, prof. RNDr. Luboš Brim, CSc.
Plný text práce
1,1 MB / soubor PDF
Přílohy (1)
Jazyk práce
slovenština slovenština
Termín obhajoby
19. 6. 2014
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Luboš Brim, CSc.
KTP FI MU

Oponent

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU

Literatura

  • GRUMBERG, Orna; Doron A. PELED a E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708.
  • Principles of model checking. Edited by Christel Baier - Joost-Pieter Katoen. Cambridge, Mass.: MIT Press, 2008, xvii, 975. ISBN 026202649X.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Alena Goljerová FI B-AP BcAP b8kxm/7
Kryštofová, H.
6. 3. 2014
Složky
Soubory
Anotace anglicky annotation_english.txt
Goljerová, A.
19. 5. 2014
Anotace česky annotation.txt
Goljerová, A.
19. 5. 2014
Klíčová slova keywords.txt
Goljerová, A.
19. 5. 2014
Plný text práce Bakalarka.pdf
Goljerová, A.
19. 5. 2014
Posudek oponenta goljerova.pdf
Barnat, J.
29. 5. 2014
Posudek vedoucího r_goljerova.pdf
Brim, L.
3. 6. 2014
Příloha bakalarka.rar
Goljerová, A.
19. 5. 2014

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.