There are different strategies to integrate software systems: integration on the data layer, on the business logic layer, and on the user interface layer. The latter area, recent...
Variability modeling is at the heart of product line engineering. Variability models entail features and architectural elements, technical customization aspects, sales and marketi...
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
The performance of most embedded systems is critically dependent on the average memory access latency. Improving the cache hit rate can have significant positive impact on the per...
In this paper we address the problem of combining software components with different and possibly incompatible legal licenses to create a software application that does not viola...