101 search results - page 1 / 21 » Architecture support for runtime integration and verificatio... |
KBSE
2008
IEEE
13 years 11 months ago
2008
IEEE
EWSA
2005
Springer
13 years 10 months ago
2005
Springer
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...
DAGSTUHL
2009
13 years 6 months ago
2009
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...
ANSOFT
2002
13 years 4 months ago
2002
Over recent years, "Internet-able" applications have been used to support domains where distributed functionality is essential. This flexibility is also pertinent in situ...
CBSE
2006
Springer
13 years 8 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...