Search results
- 1.0446568 - ÚI 2016 RIV GB eng J - Journal Article
Š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 - others:GA AV ČR(CZ) GAP103/11/1489
Institutional support: RVO:67985807
Keywords : specification * use-cases * behavior modeling * verification * temporal logic * formalization
Subject RIV: JC - Computer Hardware ; Software
Impact factor: 1.000, year: 2015
Permanent Link: http://hdl.handle.net/11104/0248549 - 2.0382692 - ÚI 2014 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GD201/09/H057
EU Projects: European Commission(XE) ASCENS 257414
Grant - others:GA AV ČR(CZ) GAP103/11/1489
Program: FP7
Institutional research plan: CEZ:AV0Z10300504
Keywords : code generation * domain specific languages * models reuse * extensible languages * specification * program synthesis
Subject RIV: JC - Computer Hardware ; Software
Impact factor: 1.148, year: 2013
Permanent Link: http://hdl.handle.net/11104/0212840