1679 search results - page 40 / 336 » Variability and Component Composition |
TPPP
1994
13 years 11 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
CBSE
2008
Springer
13 years 9 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...
ENTCS
2007
13 years 7 months ago
2007
We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an ap...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (t...