Static Checking for Missing Bindings of Components
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F04%3A00003247" target="_blank" >RIV/00216208:11320/04:00003247 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Static Checking for Missing Bindings of Components
Original language description
Some interfaces of a component may be unused (incomplete bindings). It is possible to detect unused parts of component's behavior and consequently, a component may be used in an environment where some of its required interfaces are not satisfied.
Czech name
Statická kontrola chybějících vazeb komponent
Czech description
Některá rozhraní komponenty mohou být nepoužita (incomplete bindings). Je možné najít nepoužité části chování komponenty a výsledně komponenta může být v daném prostředí kompatibilní, přestože ne všechna požadovaná rozhraní jsou navázána.
Classification
Type
V<sub>x</sub> - Unclassified - Research report containing classified information
CEP classification
BD - Information theory
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA201%2F03%2F0911" target="_blank" >GA201/03/0911: Development of advanced software components and models</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2004
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
Number of pages
15
Place of publication
Praha
Publisher/client name
KSI MFF UK
Version
—