BeJC: Checking Compliance beetween Java Implementation and Behavior Specification
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F12%3A10124368" target="_blank" >RIV/00216208:11320/12:10124368 - isvavai.cz</a>
Výsledek na webu
<a href="http://dl.acm.org/ft_gateway.cfm?id=2304683&ftid=1255471&dwn=1&CFID=195152519&CFTOKEN=62702320" target="_blank" >http://dl.acm.org/ft_gateway.cfm?id=2304683&ftid=1255471&dwn=1&CFID=195152519&CFTOKEN=62702320</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/2304676.2304683" target="_blank" >10.1145/2304676.2304683</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
BeJC: Checking Compliance beetween Java Implementation and Behavior Specification
Popis výsledku v původním jazyce
An important correctness aspect of software built in a modular way is behavior specication of its particular components. Only then one can reason about communication correctness and properties of particular components. Since it is much more effective todo so at the level of behavior models, establishing a correspondence between behavior specification and implementation becomes an important part. In this paper, we present a method for verifying compliance be-tween behavior specification of a software component and its Java implementation. We also discuss practical experience with the BeJC tool that implements the compliance checking algorithm and its application in the software development process.
Název v anglickém jazyce
BeJC: Checking Compliance beetween Java Implementation and Behavior Specification
Popis výsledku anglicky
An important correctness aspect of software built in a modular way is behavior specication of its particular components. Only then one can reason about communication correctness and properties of particular components. Since it is much more effective todo so at the level of behavior models, establishing a correspondence between behavior specification and implementation becomes an important part. In this paper, we present a method for verifying compliance be-tween behavior specification of a software component and its Java implementation. We also discuss practical experience with the BeJC tool that implements the compliance checking algorithm and its application in the software development process.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GAP202%2F11%2F0312" target="_blank" >GAP202/11/0312: Vývoj a verifikace softwarových komponent v zapouzdřených systémech</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2012
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the 17th international doctoral symposium on Components and Architecture
ISBN
978-1-4503-1348-3
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
31-36
Název nakladatele
ACM
Místo vydání
New York, NY, USA
Místo konání akce
Bertinoro
Datum konání akce
25. 6. 2012
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—