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.

report
presentation
project material: full working atom3 installation
project material: only the Feature Models formalism (containing the transformer to Alloy) and some samples
project material: the code to create the paper on linux