Attributes | Values |
---|
rdf:type
| |
Description
| - Reuse is one of the key benefits of components. It inherently means that the functionality of a component may be employed only partially. This triggers the issue whether all of the component's interfaces have to be really bound to the other components in its current environment (missing binding problem). Assuming each of the components is equipped by its behavior protocol [19], we show that missing bindings can be statically identified via verification tools, in particular by employing the concept of bad activity error introduced in [1].
- Reuse is one of the key benefits of components. It inherently means that the functionality of a component may be employed only partially. This triggers the issue whether all of the component's interfaces have to be really bound to the other components in its current environment (missing binding problem). Assuming each of the components is equipped by its behavior protocol [19], we show that missing bindings can be statically identified via verification tools, in particular by employing the concept of bad activity error introduced in [1]. (en)
- Jednou z výhod, kterou přináší koncept softwarových komponent, je opětovné použití kusů kódu vytvořených dříve (a třeba s odlišným účelem). S tím také souvisí otázka, zda-li musí být využita všechna rozhraní takovéto znovu použité komponenty. Za předpokladu, že je každá komponenta vybavena formálním popisem chování (koncept demonstrujeme použitím %22behavior protocols%22), může být tato otázka zodpovězena staticky (tj. v době sestavování aplikace). (cs)
|
Title
| - Partial Bindings of Components - Any Harm?
- Partial Bindings of Components - Any Harm? (en)
- Komponentové architektury s neúplně definovaným propojením - ano či ne? (cs)
|
skos:prefLabel
| - Partial Bindings of Components - Any Harm?
- Partial Bindings of Components - Any Harm? (en)
- Komponentové architektury s neúplně definovaným propojením - ano či ne? (cs)
|
skos:notation
| - RIV/67985807:_____/04:00103389!RIV/2005/AV0/A06005/N
|
http://linked.open.../vavai/riv/strany
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(GA201/03/0911), P(OE125), Z(AV0Z1030915), Z(MSM 113200006)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/67985807:_____/04:00103389
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - software components; interface bindings; behavior protocols (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - Asia-Pacific Software Engineering Conference
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Adámek, Jiří
- Plášil, František
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |