Počet záznamů: 1
TBP: Code-Oriented Component Behavior Specification
- 1.
SYSNO ASEP 0334276 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název TBP: Code-Oriented Component Behavior Specification Překlad názvu TBP: Na kód orientovaný formalismus pro specifikaci chování komponent 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. 75-83 Poč.str. 9 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 CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000288692300008 DOI 10.1109/SEW.2008.14 Anotace Assuring components compatibility plays a crucial part in developing a reliable component system. Especially, when the components come from different vendors worldwide. In order to do so, an appropriate formalism for behavior specification of components is necessary. We propose a formalism of threaded behavior protocols, which-unlike most other formalisms-allows for both analysis on the formal level (correctness and substitutability checking) and reasoning about conformance of a specification and the actual implementation. Moreover, the formalism is designed to be simple enough and to directly support constructs known from implementation languages (e.g., method calls, threads, synchronized blocks), so that it is easy to use by a nonprofessional. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2010
Počet záznamů: 1