PhD Thesis
Přemysl Brada
Charles University in Prague
Faculty of Mathematics and Physics
Department of Software Engineering
Submitted: August 2003
Defended: January 2004
Among the open issues in the area of software components belongs their seamless substitution supported by adequate versioning. The key results described in this thesis are contextual compatibility which allows automated substitution of subtype-incompatible components, and a revision identification scheme suitable for black-box components. These results are based on ENT, an open meta-model of the component interface.