Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
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 ...
Component forensics is an emerging methodology for forensic analysis that aims at estimating the algorithms and parameters in each component of a digital device. This paper propos...