Zpět na vyhledávání

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.
 

Keywords

overovanie modelu lineárna temporálna logika špecifikácia funkčných požiadaviek DiVinE špecifikačné vzory DiSReSpecT
 
Language used: Slovak
Date on which the thesis was submitted / produced: 3. 1. 2014
Identifier: https://is.muni.cz/th/s9r8m/

Thesis defence

  • Date of defence: 7. 2. 2014
  • Supervisor: prof. RNDr. Luboš Brim, CSc.
  • Reader: prof. RNDr. Jiří Barnat, Ph.D.

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

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.