We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
In component-based software development, it is necessary to measure the reusability of components in order to realize the reuse of components effectively. There are some product m...
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...
Reuse is an important means of reducing costs and effort during the development of complex software systems. A major challenge is to find suitable components in a large library wit...
Matthias Schmidt, Jan Polowinski, Jendrik Johannes...