Sarra Alsaidi

A Formal Approach to Component Adaptation with a Tool Support

2023

In a component-based software development, the only way to describe components is through interfaces since they are considered as black boxes. Indeed, their interfaces (required and provided) allow to express their visible behaviors. The connection …