Feature Modelling: A Survey, a Formalism and a Transformation for Analysis

-Thomas De Vylder

Very brief description
The aim of this project was to make a survey about feature modelling and to create a formalism to design feature models in AToM³. Models designed with this formalism can be transformed into a new Alloy model on which formal analysis is possible.