Bc. Vladimír Bača

Bachelor's thesis

Počítačová podpora pro specifikaci požadavků v LTL

Computer aided requirements specification in LTL
Abstract:
The thesis deals with possibilities of functional requirements specification and their subsequent formalization in linear temporal logic. It also contains a web application, which allows creation of requirements by means of user-modifiable specification patterns. The outputs of the application are the formulas of linear temporal logic in a format, which can be used by the DiVinE verification tool.
Abstract:
Práca sa zaoberá možnosťami špecifikácie funkčných požiadaviek na výpočtový systém a ich následnou formalizáciu pomocou lineárnej temporálnej logiky. Súčasťou je webová aplikácia, ktorá umožňuje zadávanie požiadaviek pomocou užívateľsky modifikovateľných špecifikačných vzorov. Výstupom aplikácie sú formuly lineárnej temporálnej logiky vo formáte, ktorý možno použiť verifikačným nástrojom DiVinE.
 
 
Jazyk práce: Slovak
Datum vytvoření / odevzdání či podání práce: 3. 1. 2014

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

  • Obhajoba proběhla 7. 2. 2014
  • Vedúci: prof. RNDr. Luboš Brim, CSc.
  • Oponent: prof. RNDr. Jiří Barnat, Ph.D.

Citační záznam

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

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Informatics / Mathematical Informatics

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

  • Žádné práce na příbuzné téma.