Zpět na vyhledávání

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

Bachelor's thesis

Graficke rozhraní pro komunikaci s nástrojem DiVinE

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

Keywords

GUI model checking DiVinE verifikace komunikace klient-server
 
Language used: Czech
Date on which the thesis was submitted / produced: 6. 2. 2006
Identifier: https://is.muni.cz/th/lluk1/

Thesis defence

  • Date of defence: 6. 2. 2006
  • Supervisor: prof. RNDr. Luboš Brim, CSc.

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:
Informatics / Informatics

Theses on a related topic

List of theses with an identical keyword.
All theses