Specification-Based Component Substitutability and Revision Identification

Updated 06.01.2011 22:35

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.


Copyright 2004-2011 ZČU v Plzni, Přemek Brada. Publikováno v textpatternu.