Search results
- 1.0382684 - ÚI 2015 DE eng J - Journal Article
Keznikl, Jaroslav - Bureš, Tomáš - Plášil, František - Hnětynka, P.
Automated resolution of connector architectures using constraint solving (ARCAS method).
Software and Systems Modeling. Roč. 13, č. 2 (2014), s. 843-872. ISSN 1619-1366. E-ISSN 1619-1374
R&D Projects: GA ČR GCP202/10/J042
EU Projects: European Commission ASCENS 257414
Program: FP7
Keywords : Software architecture * Software connectors * Constraint solving * Middleware-based connectors * Connector theory * Alloy
Subject RIV: JC - Computer Hardware ; Software
Impact factor: 1.408, year: 2014
Permanent Link: http://hdl.handle.net/11104/0212836 - 2.0369562 - ÚI 2014 GB eng J - Journal Article
Poch, T. - Šerý, O. - Plášil, František - Kofroň, J.
Threaded behavior protocols.
Formal Aspects of Computing: applicable formal methods. Roč. 25, č. 4 (2013), s. 543-572. ISSN 0934-5043. E-ISSN 1433-299X
R&D Projects: GA ČR GCP202/10/J042
Keywords : behavior modeling * verification * model checking * refinement * composition
Impact factor: 0.609, year: 2013
Permanent Link: http://hdl.handle.net/11104/0203594