COMBAT: Component Behavior Analysis Toolset
The result's identifiers
Result code in 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>
Result on the web
<a href="http://d3s.mff.cuni.cz/software/combat" target="_blank" >http://d3s.mff.cuni.cz/software/combat</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
COMBAT: Component Behavior Analysis Toolset
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
R - Software
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2008
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
1
Technical parameters
podrobně na http://d3s.mff.cuni.cz/software/combat
Economical parameters
open source licence bez licenčních poplatků
Owner IČO
00216208
Owner name
Univerzita Karlova v Praze