Výsledky vyhledávání
- 1.0334355 - ÚI 2011 RIV GB eng J - Článek v odborném periodiku
Parízek, P. - Plášil, František
Assume-Guarantee Verification of Software Components in SOFA 2 Framework.
[Verifikace softwarových komponent ve frameworku SOFA 2 způsobem assume-guarantee.]
IET Software. Roč. 4, č. 3 (2010), s. 210-221. ISSN 1751-8806. E-ISSN 1751-8814
Grant CEP: GA AV ČR 1ET400300504
Grant ostatní: GA MŠk(CZ) 7E08004
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: components * software verification * model checking
Kód oboru RIV: JC - Počítačový hardware a software
Impakt faktor: 0.671, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0179113 - 2.0317137 - ÚI 2010 RIV NL eng J - Článek v odborném periodiku
Kofroň, Jan - Plášil, František - Šerý, O.
Modes in Component Behavior Specification via EBP and their Application in Product Lines.
[Módy ve specifikaci chování komponent v EBP a jejich aplikace v product lines.]
Information and Software Technology. Roč. 51, č. 1 (2009), s. 31-41. ISSN 0950-5849. E-ISSN 1873-6025
Grant CEP: GA AV ČR 1ET400300504
Grant ostatní: GA ČR(CZ) GA201/08/0266
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: behavior specification * component modes * software product lines
Kód oboru RIV: JC - Počítačový hardware a software
Impakt faktor: 1.821, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0166862 - 3.0307952 - ÚI 2008 RIV US eng J - Článek v odborném periodiku
Bureš, Tomáš - Hnětynka, P. - Plášil, František
Runtime Concepts of Hierarchical Software Components.
[Koncepty v běhové podpoře hierarchických komponent.]
International Journal of Computer and Information Science. Roč. 8, special (2007), s. 454-463. ISSN 1525-9293
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: component-based development * hierarchical components * connectors * controlers * runtime environment
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0160572 - 4.0307947 - ÚI 2008 RIV US eng J - Článek v odborném periodiku
Adámek, Jiří
Verification of Software Components: Addressing Unbounded Paralelism.
[Verifikace softwarových komponent: Neomezený paralelismus.]
International Journal of Computer and Information Science. Roč. 8, č. 2 (2007), s. 300-309. ISSN 1525-9293
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * formal verification * unbounded parallelism
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0160567 - 5.0090204 - ÚI 2008 RIV NL eng J - Článek v odborném periodiku
Pařízek, P. - Plášil, František
Specification and Generation of Environment for Model Checking of Software Components.
[Specifikace a generování prostředí pro model checking softwarových komponent.]
Electronic Notes in Theoretical Computer Science. Roč. 176, - (2007), s. 143-154. ISSN 1571-0661
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * behavior protocols * model checking * automated generation of environment
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0151179 - 6.0085625 - ÚI 2008 NL eng J - Článek v odborném periodiku
Ježek, P. - Kofroň, Jan - Plášil, František
Model Checking of Component Behavior Specification: A Real Life Experience.
Electronic Notes in Theoretical Computer Science. Roč. 160 (2007), s. 197-210. ISSN 1571-0661
Grant CEP: GA AV ČR 1ET400300504; GA ČR GA102/03/0672
Klíčová slova: component behaviour * verification * model checking
Trvalý link: http://hdl.handle.net/11104/0148093