Zpět na vyhledávání

Mgr. Jozef Budáč

Bachelor's thesis

Implementace monitorovacího nástroje

Implementation of a monitoring tool
Abstract:
Cieľom bakalárskej práce je vytvoriť nástroj na formálnu verifikáciu chovania systému. Používa pri tom technológiu XML a logiku LTL. Na implementáciu bol zvolený jazyk Java.
Abstract:
The aim of the bachelor's work is to implement an instrument for formal verification of the system's behavior. It uses the XML technology and LTL logic. For implementation was chosen Java language.
 

Keywords

Chovanie Špecifikácia Verifikácia Testovanie Monitorovanie Lineárna temporálna logika Behavior Specification LTL Verification
 
Language used: Czech
Date on which the thesis was submitted / produced: 16. 5. 2007
Identifier: https://is.muni.cz/th/e8xgt/

Thesis defence

  • Date of defence: 18. 6. 2007
  • Supervisor: Mgr. Jiří Šimša

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.