TY - GEN A1 - Speck, Andreas A1 - Pulvermüller, Elke A1 - Jerger, Michael A1 - Franczyk, Bogdan A2 - Korbicz, Józef - red. A2 - Uciński, Dariusz - red. PB - Zielona Góra: Uniwersytet Zielonogórski N2 - Many approaches such as component technologies have been invented in order to support software reuse. Based on these technologies a large variety of techniques have been introduced to connect components. However, there is little experience concerning the validation of component systems. N2 - We know how to plug components together, but we do need ways to check whether that works. In this paper we introduce an approach to validating component compositions and showing how such a process can be supported by tools. We introduce a way to compare the interface specification of components automatically against the code. N2 - Furthermore, we demonstrate how compositions of components can be specified by logical formulas, allowing us to automatically validate these compositions. L1 - http://www.zbc.uz.zgora.pl/Content/58963/AMCS_2002_12_4_13.pdf L2 - http://www.zbc.uz.zgora.pl/Content/58963 KW - composition verification KW - component composition KW - feature interaction KW - model checking T1 - Component composition validation UR - http://www.zbc.uz.zgora.pl/dlibra/docmetadata?id=58963 ER -