This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
A software reconfiguration pattern is a solution to a problem in component-based software systems where the configuration needs to be updated while the system is operational. It d...
Object-oriented legacy systems are hard to maintain because they are hard to understand. One of the main understanding problems is revealed by the so-called ”yo-yo effect” tha...
Composition can take place during different stages of component life cycle. We identify two main stages : design phase - components are composed into composite components for reus...
In this exploratory case study, effort distribution visualizations of industrial software development projects are made in order to assess to what extent patterns can be found tha...