109 search results - page 5 / 22 » Composite Connectors for Composing Software Components |
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
The Vienna Component Framework (VCF) supports the interoperability and composability of components across different component models, a facility that is lacking in existing compon...
CBSE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
FMCO
2005
Springer
14 years 1 months ago
2005
Springer
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
BIRTHDAY
2004
Springer
14 years 1 months ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
COMPSAC
2003
IEEE
14 years 28 days ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...