626 search results - page 42 / 126 » Correct Composition of Design Components |
LCTRTS
2005
Springer
15 years 5 months ago
2005
Springer
— We present design patterns used by software components in the TinyOS operating system. They differ significantly from traditional software design patterns due to TinyOS’s fo...
114
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
100
click to vote
COORDINATION
2006
Springer
15 years 3 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
CBSE
2010
Springer
15 years 3 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...
109
click to vote
FMCO
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...