Výsledky vyhledávání
- 1.0446568 - ÚI 2016 RIV GB eng J - Článek v odborném periodiku
Šimko, V. - Hauzar, D. - Hnětynka, P. - Bureš, Tomáš - Plášil, F.
Formal Verification of Annotated Textual Use-Cases.
Computer Journal. Roč. 58, č. 7 (2015), s. 1495-1529. ISSN 0010-4620. E-ISSN 1460-2067
Grant ostatní: GA AV ČR(CZ) GAP103/11/1489
Institucionální podpora: RVO:67985807
Klíčová slova: specification * use-cases * behavior modeling * verification * temporal logic * formalization
Kód oboru RIV: JC - Počítačový hardware a software
Impakt faktor: 1.000, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0248549 - 2.0382692 - ÚI 2014 RIV GB eng J - Článek v odborném periodiku
Malohlava, M. - Plášil, F. - Bureš, Tomáš - Hnětynka, P.
Interoperable domain-specific languages families for code generation.
Software-Practice & Experience. Roč. 43, č. 5 (2013), s. 479-499. ISSN 0038-0644. E-ISSN 1097-024X
Grant CEP: GA ČR GD201/09/H057
GRANT EU: European Commission(XE) ASCENS 257414
Grant ostatní: GA AV ČR(CZ) GAP103/11/1489
Program: FP7
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: code generation * domain specific languages * models reuse * extensible languages * specification * program synthesis
Kód oboru RIV: JC - Počítačový hardware a software
Impakt faktor: 1.148, rok: 2013
Trvalý link: http://hdl.handle.net/11104/0212840