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:
Prawa do dysponowania publikacją:
Biblioteka Uniwersytetu Zielonogórskiego
Kolekcje, do których przypisany jest obiekt:
- 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)
- 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)
Data ostatniej modyfikacji:
2024-11-05
Data dodania obiektu:
2021-09-03
Liczba wyświetleń treści obiektu:
78
Wszystkie dostępne wersje tego obiektu:
https://zbc.uz.zgora.pl/publication/65762
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
-
International Journal of Applied Mathematics and Computer Science (AMCS)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 26 (2016)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 25 (2015)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 24 (2014)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 23 (2013)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 22 (2012)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 21 (2011)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 20 (2010)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 19 (2009)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 18 (2008)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 17 (2007)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 16 (2006)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 15 (2005)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 13 (2003)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 12 (2002)
-
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)
- Enlarged exact compensation in distributed systems
- An elastic membrane with an attached non-linear thermoelastic rod
- A boundary-value problem for linear PDAEs
- Design of linear feedback for bilinear control systems
- Two observer-based tracking algorithms for a unicycle mobile robot
- Control of an induction motor using sliding mode linearization
- Inequality-based approximation of matrix eigenvectors
- Continuity of solutions of Riccati equations for the discrete-time JLQP
- Dynamics of social networks: A deterministic approach
- Reliability design of complex systems by minimizing the lifetime variance
- Generating quasigroups for cryptographic applications
- Efficient calculation of the Reed-Muller form by means of the Walsh transform
- Component composition validation
- Optimal feedback control proportional to the system state can be found for non-causal descriptor systems (A remark on a paper by P.C. Müller)
- Comment on the remark by G. A. Kurina on the paper (Müller, 1998)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 12, number 1 (2002)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 11 (2001)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 10 (2000)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 9 (1999)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 8 (1998)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 7 (1997)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 6 (1996)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 5 (1995)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 4 (1994)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 3 (1993)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 2 (1992)
-
International Journal of Applied Mathematics and Computer Science (AMCS),volume 1 (1991)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 26 (2016)
| Nazwa wydania | Data |
|---|---|
| Component composition validation | 2024-11-05 |
