Behavior Java Checker
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F10%3A10062147" target="_blank" >RIV/00216208:11320/10:10062147 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Behavior Java Checker
Original language description
BeJC is a tool for checking consistency between component implementation in Java and specification in the language of Threaded Behavior Protocols (TBP). Behavior specification of a component in TBP defines sequences of method calls that the component must handle (i.e., permitted usage of the component) and also sequences of calls that each method is allowed to perform. The component's implementation is consistent with the specification if it responds to all permitted calls on its interfaces in a way allowed by the specification.
Czech name
—
Czech description
—
Classification
Type
R - Software
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/7E08004" target="_blank" >7E08004: Quality Impact Prediction for Evolving Service-Oriented Software</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2010
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
Internal product ID
BeJC
Technical parameters
http://d3s.mff.cuni.cz/projects/formal_methods/bejc/
Economical parameters
Jedná se o open source, k dispozici zdarma, dopady použití nejsou známé
Owner IČO
00216208
Owner name
Univerzita Karlova v Praze, Matematicko-fyzikální fakulta