Specification-Based Component Substitutability and Revision Identification

PhD Thesis

Přemysl Brada
Charles University in Prague
Faculty of Mathematics and Physics
Department of Software Engineering

Submitted: August 2003
Defended: January 2004

Abstract

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.

Links


Back to my research page.