Závěrečná práce: Vojtěch Forejt: Graficke rozhraní pro komunikaci s nástrojem DiVinE
Bakalářská práce
Graficke rozhraní pro komunikaci s nástrojem DiVinE
Graphical-interface for DiVinE tool
Vojtěch Forejt
Anotace
Navrhnout grafické rozhraní pro komunikaci uzivatele s verifikačním nástrojem DiVinE/Tooset, implementovat podporu pro spouštění jednotlivých algoritmů a zakladní nástroje pro administrování verifikačních úloh v distribuovaném prostředí. Vzhledem k požadavkům na modularitu a přenositelnost, bude rozhraní realizováno v jazyku Java.
Abstract
Design graphical interface to allow user use DiVinE verification tool. Implement executing of algorithms and basic tools for administration. Interface will be implemented in Java.
Práce zkontrolována:
11. 10. 2008 12:50, (IS automaticky)
11. 10. 2008 12:50, (IS automaticky)
Jazyk práce
čeština
Termín obhajoby
6. 2. 2006
Práce byla úspěšně obhájena
Vedoucí
prof. RNDr. Luboš Brim, CSc.
abs PřF MU
abs PřF MU
Studijní program
Informatika
Obor
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Post-mortem analýza stavového prostoru
Mgr. Jan Kriho -
Simulátor pro modelovací jazyk nástroje DiVinE
Bc. Martin Moráček, učo 208081 -
Porovnání modelovacích schopností verifikačních nástrojů
Mgr. Jiří Čermák -
Modelování parametrizovaných systémů v jazyce DiVinE
Mgr. Ľuboš Láska -
Interpretace DVE modelů v Haskellu
Mgr. Adam Šiška, učo 207864 -
Trading space for time in explicit-state model checking
Bc. Pavel Mičan, učo 173327 -
Proxying, recording and replaying syscalls in DiOS
Bc. Tomáš Krchňák, učo 485601 -
Vytvoření modelu výtahů se sběrným řízením
Bc. Ondřej Plotěný
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Vojtěch Forejt lluk1/6
Forejt, V.
5. 1. 2006
Složky
Soubory
-
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.