A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Dynamic reconfiguration allows modifying a system during its execution, and can be used to apply patches and updates, to implement adaptive systems, dynamic instrumentation, or to...
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
Historically, software application systems have been produced either individually tailored for the specific customer, or they have been adapted from standardized packages. This pa...