COMBAT: Component Behavior Analysis Toolset
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F08%3A00101344" target="_blank" >RIV/00216208:11320/08:00101344 - isvavai.cz</a>
Výsledek na webu
<a href="http://d3s.mff.cuni.cz/software/combat" target="_blank" >http://d3s.mff.cuni.cz/software/combat</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
COMBAT: Component Behavior Analysis Toolset
Popis výsledku v původním jazyce
COMBAT is a toolset for verification and analysis of behavior of software components that are implemented in Java. It supports the SOFA and Fractal component models, and assumes that the formalism of behavior protocols is used for specification of component behavior.
Název v anglickém jazyce
COMBAT: Component Behavior Analysis Toolset
Popis výsledku anglicky
COMBAT is a toolset for verification and analysis of behavior of software components that are implemented in Java. It supports the SOFA and Fractal component models, and assumes that the formalism of behavior protocols is used for specification of component behavior.
Klasifikace
Druh
R - Software
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2008
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
1
Technické parametry
podrobně na http://d3s.mff.cuni.cz/software/combat
Ekonomické parametry
open source licence bez licenčních poplatků
IČO vlastníka výsledku
00216208
Název vlastníka
Univerzita Karlova v Praze