0369573 - ÚI 2014 DE eng C - Conference Paper (international conference)
Šimko, V. - Hauzar, D. - Bureš, Tomáš - Hnětynka, P. - Plášil, FrantišekVerifying Temporal Properties of Use-Cases in Natural Language.
Formal Aspects of Component Software. Berlin: Springer, 2012 - (Arbab, F.; Ölveczky, P.), s. 350-367. Lecture Notes in Computer Science, 7253. ISBN 978-3-642-35742-8. ISSN 0302-9743.
[FACS 2011. International Symposium on Formal Aspects of Component Software /8./. Oslo (FI), 14.09.2011-16.09.2011]
Grant - others:GA AV ČR(CZ) GAP103/11/1489
Keywords : use-cases * behavior modeling * verification * natural language * label transition system * model-checking * requirements engineering * temporal logic
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0203603