3481 search results - page 82 / 697 » A New Approach to Component Testing |
106
click to vote
CBSE
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
ESAW
2000
Springer
15 years 1 months ago
2000
Springer
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
ISSRE
2002
IEEE
15 years 2 months ago
2002
IEEE
Object-oriented programs cause a shift in focus from software units to the way software classes and components are connected. Thus, we are finding that we need less emphasis on un...
103
click to vote
EWSA
2006
Springer
15 years 1 months ago
2006
Springer
Software architectures are often designed with respect to some architecture patterns, like the pipeline and peer-to-peer. These patterns are the guarantee of some quality attribute...
CBSE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...