@inproceedings{BotterweckJanotaSchneeweiss, author = {Botterweck, Goetz and Janota, Mikol{\´a}s and Schneeweiss, Denny}, title = {A design of a configurable feature model configurator}, series = {Proceedings, Third International Workshop on Variability Modelling of Software-intensive Systems, held from January 28 - 30, at the University of Sevilla, Spain}, booktitle = {Proceedings, Third International Workshop on Variability Modelling of Software-intensive Systems, held from January 28 - 30, at the University of Sevilla, Spain}, editor = {Benavides, David}, publisher = {ICB}, address = {Essen}, pages = {165 -- 168}, abstract = {Abstract. Our feature configuration tool S2T2 Configurator integrates (1) a visual interactive representation of the feature model and (2) a formal reasoning engine that calculates consequences of the user's actions and provides formal explanations. The tool's software architecture is designed as a chain of components, whichprovide mappings between visual elements and their corresponding formal representations. Using these mappings, consequences and explanations calculated by thereasoning engine are communicated in the interactive representation.}, language = {en} }