BeJC: Checking Compliance beetween Java Implementation and Behavior Specification
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
BeJC: Checking Compliance beetween Java Implementation and Behavior Specification
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GAP202%2F11%2F0312" target="_blank" >GAP202/11/0312: Software Components in Embedded Systems: Development and Verification</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 17th international doctoral symposium on Components and Architecture
ISBN
978-1-4503-1348-3
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
31-36
Publisher name
ACM
Place of publication
New York, NY, USA
Event location
Bertinoro
Event date
Jun 25, 2012
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—