Search results
- 1.0436593 - ÚI 2015 US eng C - Conference Paper (international conference)
Keznikl, Jaroslav - Bureš, Tomáš - Plášil, F. - Gerostathopoulos, I. - Hnětynka, P. - Hoch, N.
Design of Ensemble-Based Component Systems by Invariant Refinement.
CBSE '13 Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering. New York: ACM, 2013, s. 91-100. ISBN 978-1-4503-2122-8.
[CBSE 2013. International ACM SIGSOFT Symposium on Component-Based Software Engineering /16./. Vancouver (CA), 17.06.2013-21.06.2013]
EU Projects: European Commission(XE) ASCENS 257414
Grant - others:GA AV ČR(CZ) GAP103/11/1489; UK(CZ) SVV-2013-267312
Program: FP7
Keywords : component * ensemble * refinement * requirements engineering * system design
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0240304File Download Size Commentary Version Access a0436593.pdf 1 7.4 MB Publisher’s postprint require - 2.0382688 - ÚI 2013 RIV US eng C - Conference Paper (international conference)
Šimko, V. - Hnětynka, P. - Bureš, Tomáš - Plášil, František
FOAM : A Lightweight Method for Verification of Use-Cases.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications. Los Alamitos: IEEE CS, 2012 - (Cortellessa, V.; Muccini, H.; Demirors, O.), s. 228-232. ISBN 978-0-7695-4790-9.
[SEAA 2012. EUROMICRO Conference on Software Engineering and Advanced Applications /38./. Izmir (TR), 05.09.2012-08.09.2012]
Grant - others:GA AV ČR(CZ) GAP103/11/1489
Institutional support: RVO:67985807
Keywords : requirements * verification * CTL * LTL * NuSMV
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0007315File Download Size Commentary Version Access a0382688.pdf 0 196.7 KB Publisher’s postprint require - 3.0369573 - ÚI 2014 DE eng C - Conference Paper (international conference)
Šimko, V. - Hauzar, D. - Bureš, Tomáš - Hnětynka, P. - Plášil, František
Verifying 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/0203603File Download Size Commentary Version Access a0369573.pdf 0 524.2 KB Publisher’s postprint require - 4.0369566 - ÚI 2012 RIV US eng C - Conference Paper (international conference)
Keznikl, Jaroslav - Malohlava, M. - Bureš, T. - Hnětynka, P.
Extensible Polyglot Programming Support in Existing Component Frameworks.
EUROMICRO 2011. Los Alamitos: IEEE Computer Society, 2011 - (Biffl, S.; Koivuluoma, M.; Abrahamsson, P.; Oivo, M.), s. 107-115. ISBN 978-1-4577-1027-8.
[SEAA 2011. EUROMICRO Conference on Software Engineering and Advanced Applications /37./. Oulu (FI), 30.08.2011-02.09.2011]
Grant - others:GA AV ČR(CZ) GAP103/11/1489
Institutional research plan: CEZ:AV0Z10300504
Keywords : components * rapid prototyping * polyglot programming * scripting languages * controllers * interface interceptors
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0203597File Download Size Commentary Version Access a0369566.pdf 0 778.1 KB Publisher’s postprint require