Automating Software Development with Explicit Model Checking /
Tato práce je postavená na předpokladu, že funkční požadavky je možné vyjádřit temporální logikou a obsahem této práce jsou nové způsoby verifikace jak požadavků samotných tak jejích splnění běhěm celého vývojového procesu. Cílem práce je automatizace některých verifikačních procesů, které se v souč...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Angličtina |
| Vydáno: |
2016
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/208047/fi_d/ |
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
| Popis | Stav | Knihovna | Sbírka | Signatura | Poznámky | Čárový kód |
|---|---|---|---|---|---|---|
|
Dostupné Týdenní |
Fakulta informatiky | Diz. práce 2015 | 42005D2669 |