Behavior Java Checker
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Behavior Java Checker
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Behavior Java Checker
Popis výsledku anglicky
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.
Klasifikace
Druh
R - Software
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/7E08004" target="_blank" >7E08004: Quality Impact Prediction for Evolving Service-Oriented Software</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2010
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
Interní identifikační kód produktu
BeJC
Technické parametry
http://d3s.mff.cuni.cz/projects/formal_methods/bejc/
Ekonomické parametry
Jedná se o open source, k dispozici zdarma, dopady použití nejsou známé
IČO vlastníka výsledku
00216208
Název vlastníka
Univerzita Karlova v Praze, Matematicko-fyzikální fakulta