An Enumerative Variability Modelling Tool for Constructing Whole Software Product Families Chen Qian and Kung-Kiu Lau School of Computer Science The University of Manchester Kilburn Building, Oxford Road, Manchester, United Kingdom, M13 9PL Email: chen.qian,kung-kiu.lau@manchester.ac.uk Abstract: Constructing a product family requires the formulation in problem space of a domain model (including a variability model) and its implementation in solution space. Current Soft- ware Product Line Engineering tools mostly aim to build an ‘assembly line’ for deriving one product at a time by assembling domain artefacts according to the variability model. Therefore, those tools support enumerative variability in problem space, but parametric variability in solution space. In this paper, we present a tool to model and implement enumerative variability in both spaces, and hence construct a whole product family in one go.