Počet záznamů: 1
Making Components Fit: SPINing
- 1.
SYSNO ASEP 0334272 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Making Components Fit: SPINing Překlad názvu Komponenty ve formě: SPINing Tvůrce(i) Kofroň, Jan (UIVT-O)
Poch, T. (CZ)
Šerý, O. (CZ)Zdroj.dok. Proceedings of 32th IEEE/NASA Software Engineering Workshop. - : IEEE Computer Society Los Alamitos, 2009 - ISBN 978-0-7695-3617-0 Rozsah stran s. 65-74 Poč.str. 10 s. Akce SEW 2008. Annual IEEE/NASA Software Engineering Workshop /32./ Datum konání 15.10.2008-16.10.2008 Místo konání Kassandra Země GR - Řecko Typ akce WRD Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova software components ; behavior specification ; model-checking Vědní obor RIV JC - Počítačový hardware a software CEP GD201/05/H014 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000288692300007 DOI 10.1109/SEW.2008.10 Anotace The more popular it is to build an application from reusable software components, the more desperate is the need for showing correctness of such a composition. This requires on one hand, being able to formally specify behavior of software components, while, on the other hand, providing appropriate tool support for verification of correctness of the composition. In this paper, we suggest use of the formalism of Extended Behavior Protocols and present a tool chain for verification of composition correctness of component applications. The advantage of the proposed approach is using a well-tested and supported model checker Spin as a backend. As a proof of the concept, we share our experience with application of the method. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2010
Počet záznamů: 1