Počítačová podpora pro specifikaci požadavků v LTL – Bc. Vladimír Bača
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.
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
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Mathematical Informatics
Theses on a related topic
- No theses on a related topic available.