27 search results - page 2 / 6 » The OSA project: an example of component based software engi... |
APSEC
2003
IEEE
13 years 10 months ago
2003
IEEE
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
CBSE
2004
Springer
13 years 10 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
ISORC
2005
IEEE
13 years 11 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
CBSE
2010
Springer
13 years 8 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...
ESEC
1999
Springer
13 years 9 months ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...