Support for Reverse Engineering and Maintaining Feature Models, Proc. of the 7th Int. Workshop on Variability Modelling of Software-intensive Systems, vol.20, pp.1-20, 2013. ,
DOI : 10.1145/2430502.2430530
URL : https://hal.archives-ouvertes.fr/hal-00766786
Automated Analysis of Feature Models 20 Years Later: A Literature Review, Information Systems, vol.35, issue.6, pp.615-636, 2010. ,
Generic Semantics of Feature Diagrams Variants, Feature Interactions in Telecommunications and Software Systems VIII, pp.58-77, 2005. ,
Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986. ,
DOI : 10.1109/tc.1986.1676819
URL : http://www.cs.cmu.edu/~bryant/pubs.pdf
Feature Model Composition Assisted by Formal Concept Analysis, Proc. of the 12th Int. Conf. on Evaluation of Novel Approaches to Software Engineering, pp.27-37, 2017. ,
DOI : 10.5220/0006276600270037
URL : https://hal.archives-ouvertes.fr/lirmm-01579476
Analyzing Variability in Product Families through Canonical Feature Diagrams, Proc. of the 29th Int. Conf. on Software Engineering and Knowledge Engineering, pp.185-190, 2017. ,
DOI : 10.18293/seke2017-087
URL : https://hal.archives-ouvertes.fr/lirmm-01621104
Feature Diagrams and Logics: There and Back Again, Proc. of the 11th Int. Software Product Line Conference, pp.23-34, 2007. ,
DOI : 10.1109/spline.2007.24
Feature Model Extraction from Large Collections of Informal Product Descriptions, Proc. of the 9th Joint Meeting of the European Software Engineering Conf. and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp.290-300, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00859475
, Formal Concept Analysis: Foundations and Applications, vol.3626, 2005.
The Role of Complex Constraints in Feature Modeling, 2016. ,
Using First-Order Logic for Product Line Model Validation, Proc. of the 2nd Int. Software Product Line Conf, pp.176-187, 2002. ,
DOI : 10.1007/3-540-45652-x_11
Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy, IJISMD, vol.3, issue.2, pp.33-68, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00707522
, Software Product Line Engineering: Foundations, Principles, and Techniques, 2005.
Extraction of Feature Models from Formal Contexts, Work. Proc. (2) of the 15th Int. Conf. on Software Product Lines, vol.4, pp.1-4, 2011. ,
DOI : 10.1145/2019136.2019141
Generic Semantics of Feature Diagrams, Computer Networks, vol.51, issue.2, pp.456-479, 2007. ,
DOI : 10.1016/j.comnet.2006.08.008
Reverse Engineering Feature Models, Proc. of the 33rd Int. Conf. on Software Engineering, pp.461-470, 2011. ,
DOI : 10.1145/1985793.1985856
Efficient Synthesis of Feature Models, Information & Software Technology, vol.56, issue.9, pp.1122-1143, 2014. ,
DOI : 10.1016/j.infsof.2014.01.012