Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
CBSE currently lacks a universally accepted terminology. Existing component models adopt different component definitions and composition operators. We believe that for future res...
We believe that for developing applications in a specific domain, the best kindofsoftwarecomponent model touseis adomain-specificone. Wealso believe that current component models i...
As software systems become increasingly complex to build developers are turning more and more to integrating pre-built components from third party developers into their systems. T...