Feature Specification: a Logic-Independent Approach

Marc Aiguier, Christophe Gaston, Pascale Le Gall

In this paper, we investigate the formal specification of features and feature systems in the mathematical paradigm often called "logic-independent&...