Repozytorium Uniwersytetu Zielonogórskiego udostępnia 9 272 obiektów cyfrowych
Obiekt
Tytuł: 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) ; kliknij tutaj, żeby przejść
Jezyk:
Licencja CC BY 4.0:
Prawa do dysponowania publikacją:
Biblioteka Uniwersytetu Zielonogórskiego
Kolekcje, do których przypisany jest obiekt:
- Repozytorium > Jednostki organizacyjne > Wydział Informatyki, Elektrotechniki i Automatyki
- Repozytorium > Typy utworów > Artykuły
- 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)
Data ostatniej modyfikacji:
14 lip 2025
Data dodania obiektu:
3 wrz 2021
Liczba wyświetleń treści obiektu:
124
Wszystkie dostępne wersje tego obiektu:
https://zbc.uz.zgora.pl/repozytorium/publication/65762
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
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)
-
-
-
-
-
-
-
-
-
-
-
-
-
| Nazwa wydania | Data |
|---|---|
| Component composition validation | 14 lip 2025 |
Obiekty Podobne
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.
