Features are abstractions of a software software system encapsulating knowledge of its problem domain, denoting units of system behavior. To exploit this inherent domain knowledge of features to analyze object-oriented software systems we explicitly model features, their relationships to source artefacts, and their relationships to each other. The contribution of this work is twofold: on the one hand: (1) we enrich reverse engineering analysis of object-oriented systems with semantic knowledge of features, and (2) we introduce new techniques treating features as the primary entities of...