Digital Library of Zielona Góra contains 66 360 digital objects
Object
Title: Component composition validation
Autor:
Speck, Andreas ; Pulvermüller, Elke ; Jerger, Michael ; Franczyk, Bogdan
Data wydania:
Typ zasobu:
Współtwórca:
Korbicz, Józef (1951- ) - red. ; Uciński, Dariusz - red.
Tytuł publikacji grupowej:
Abstract:
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. ; 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. ; Furthermore, we demonstrate how compositions of components can be specified by logical formulas, allowing us to automatically validate these compositions.
Wydawca:
Zielona Góra: Uniwersytet Zielonogórski
Identyfikator zasobu:
Strony:
Źródło:
AMCS, volume 12, number 4 (2002) ; click here to follow the link
Jezyk:
Licencja CC BY 4.0:
Prawa do dysponowania publikacją:
Biblioteka Uniwersytetu Zielonogórskiego
Object collections:
- Zielonogórska Biblioteka Cyfrowa > Repozytorium > Jednostki organizacyjne > Wydział Informatyki, Elektrotechniki i Automatyki
- Zielonogórska Biblioteka Cyfrowa > Repozytorium > Typy utworów > Artykuły
- Zielonogórska Biblioteka Cyfrowa > Repozytorium > Czasopisma naukowe i serie wydawnicze UZ > International Journal of Applied Mathematics and Computer Science (AMCS) > International Journal of Applied Mathematics and Computer Science (AMCS) (2002)
Last modified:
14 lip 2025
In our library since:
3 wrz 2021
Number of object content hits:
171
All available object's versions:
https://www.zbc.uz.zgora.pl/publication/65762
Show description in RDF format:
Show description in OAI-PMH format:
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 12, number 1 (2002)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 12, number 2 (2002)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 12, number 3 (2002)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 12, number 4 (2002)
-
-
-
-
-
-
-
-
-
-
-
-
-
| Edition name | Date |
|---|---|
| Component composition validation | 14 lip 2025 |
Objects Similar
Góngora, Pedro A. Rosenblueth, David A. Byrski, Aleksander - ed. Kisiel-Dorohinicki, Marek - ed. Dobrowolski, Grzegorz - ed.
Robak, Silva Franczyk, Bogdan Politowicz, Kamil Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
