Component-based software development has proven effective for systems implementation in well-understood application domains, but is still insufficient for the creation of reusable...
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
In component-based software development, the design of components should be carried out separately from the deployment of components, in order to enable composition by independent ...
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...
Antonio Bucchiarone, Andrea Polini, Patrizio Pelli...
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...