In today's software engineering practices, building applications from components is the ongoing trend. What can be noticed however is that there really is not a clear consens...
Component-based development is the emerging paradigm in software production, though several challenges still slow down its full taking up. In particular, the "component trust...
To our point of view, adaptability is a key characteristic of components and should be at the heart of any proper component model. However, contrarily to the object crystal-box mod...
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...
As software systems evolve over a series of releases, it becomes important to know which components show repeated need for maintenance. Deterioration of a single component manifes...
Catherine Stringfellow, C. D. Amory, Dileep Potnur...