Zpět na hledáníFOAM : A Lightweight Method for Verification of Use-Cases (2012)výskyt výsledku
Identifikační kód | RIV/00216208:11320/12:10124891 |
---|---|
Název v anglickém jazyce | FOAM : A Lightweight Method for Verification of Use-Cases |
Druh | D - Stať ve sborníku |
Jazyk | eng - angličtina |
Obor - skupina | J - Průmysl |
Obor | JC - Počítačový hardware a software |
Rok uplatnění | 2012 |
Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
Počet výskytů výsledku | 3 |
Počet tvůrců celkem | 4 |
Počet domácích tvůrců | 2 |
Výčet všech uvedených jednotlivých tvůrců | Petr Hnětynka (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 7347448) Viliam Šimko (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 9164553) Tomáš Bureš (státní příslušnost: CZ - Česká republika) František Plášil (státní příslušnost: CZ - Česká republika) |
Popis výsledku v anglickém jazyce | The advantage of textual use-cases is that they can be easily understood by stakeholders and domain experts. However, since use-cases typically rely on a natural language, they cannot be directly subject to a formal verification. In this paper, we present the FOAM method which features simple user-definable annotations, inserted into a use-case to make its semantics more suitable for verification. Subsequently a model-checking tool verifies temporal invariants associated with the annotations. This way,FOAM allows for harnessing the benefits of model-checking while still keeping the use-cases understandable for non-experts. |
Klíčová slova oddělená středníkem | NuSMV; LTL; CTL; Veri?cation; Requirements |
Stránka www, na které se nachází výsledek | http://d3s.mff.cuni.cz/publications/download/2012-SEAA-SimkoHnetynaBuresPlasil-FOAM.pdf |
DOI výsledku | 10.1109/SEAA.2012.15 |
Odkaz na údaje z výzkumu | - |
Údaje o výsledku v závislosti na druhu výsledku
Název sborníku | Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) |
---|---|
ISBN | 978-0-7695-4790-9 |
ISSN | 1089-6503 |
e-ISSN | - |
Počet stran výsledku | 5 |
Strana od-do | 228-232 |
Název nakladatele | IEEE Computer Society |
Místo vydání | Los Alamitos, CA, USA |
Místo konání akce | Cesme, Izmir, Turkey |
Datum konání akce | 05.09.2012 |
Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
Kód UT WoS článku podle Web of Science | 000310462600036 |
EID výsledku v databázi Scopus | - |
Ostatní informace o výsledku
Předkladatel | Univerzita Karlova v Praze / Matematicko-fyzikální fakulta |
---|---|
Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
Rok sběru | 2013 |
Specifikace | RIV/00216208:11320/12:10124891!RIV13-MSM-11320___ |
Datum poslední aktualizace výsledku | 09.08.2013 |
Kontrolní číslo | 43097303 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
Dodáno GA ČR v roce 2013 | RIV/00216208:11320/12:10124891 v dodávce dat RIV13-GA0-11320___/03:3 |
---|
Informace o dalších výskytech výsledku dodaného ostatními předkladateli
Dodáno AV ČR v roce 2013 | RIV/67985807:_____/12:00382688 v dodávce dat RIV13-AV0-67985807/03:2 předkladatelem Ústav informatiky AV ČR, v. v. i. |
---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
Projekt podporovaný GA ČR v programu GA | GAP103/11/1489 - Metody pro tvorbu a ověřování komponentových systémů ze specifikací v přirozeném jazyce (2011 - 2013) |
---|---|
Podpora / návaznosti | Specifický výzkum na vysokých školách, poskytovatel MŠMT |