RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons)

Bakalářská práce

Graficke rozhraní pro komunikaci s nástrojem DiVinE

Graphical-interface for DiVinE tool
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.
 

Klíčová slova

GUI model checking DiVinE verifikace komunikace klient-server
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 6. 2. 2006
Identifikátor: https://is.muni.cz/th/lluk1/

Obhajoba závěrečné práce

  • Obhajoba proběhla 6. 2. 2006
  • Vedoucí: prof. RNDr. Luboš Brim, CSc.

Citační záznam

Citovat tuto práci

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 informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Informatika

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

Seznam prací, které mají shodná klíčová slova.
Všechny práce