57 search results - page 3 / 12 » Viewpoints for Specifying Component-Based Systems |
ATVA
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
EUROMICRO
2009
IEEE
14 years 1 months ago
2009
IEEE
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
CLEIEJ
2004
13 years 6 months ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...
EUROMICRO
2006
IEEE
14 years 12 days ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
ISORC
2009
IEEE
14 years 1 months ago
2009
IEEE
General-purpose middleware, by definition, cannot readily support domain-specific semantics without significant manual efforts in specializing the middleware. This paper prese...