Reverse engineering feature models

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2011, Pages 461-470

  She, Steven ^a   Lotufo, Rafael ^a   Berger, Thorsten ^b   Wa̧sowski, Andrzej ^c   Czarnecki, Krzysztof ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

^b UNIVERSITY OF LEIPZIG   (Germany)

^c IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

feature models; feature similarity; variability modeling

Indexed keywords

FEATURE GROUPS; FEATURE MODELS; FEATURE SIMILARITIES; FREEBSD; PRODUCT-LINES; SOFTWARE PRODUCT LINE; VARIABILITY MODELING;

COMPUTER OPERATING SYSTEMS; REVERSE ENGINEERING; SOFTWARE DESIGN;

MODELS;

EID: 79959904833     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1985793.1985856     Document Type: Conference Paper

References (20)

1. A. V. Aho, M. R. Garey, and J. D. Ullman. The transitive reduction of a directed graph. SIAM Journal on Computing, 1(2):131-137, 1972.
2. V. Alves, C. Schwanninger, L. Barbosa, A. Rashid, P. Sawyer, P. Rayson, C. Pohl, and A. Rummler. An exploratory study of information retrieval techniques in domain analysis. In SPLC, 2008.
3. N. Andersen. Automatic synthesis of feature models based on satisfiability checking. Master's thesis, IT University of Copenhagen, 2009.
4. D. Batory. Feature models, grammars, and propositional formulas. In SPLC, 2005.
5. D. Benavides, S. Segura, and A. Ruiz-Cortés. Automated analysis of feature models 20 years later: a literature review. Information Systems, 35(6), 2010.
6. T. Berger and S. She. Formal semantics of the CDL language. Technical Note. Available at www.informatik.uni-leipzig.de/~berger/cdl semantics.pdf.
7. T. Berger, S. She, R. Lotufo, A. Wa̧sowski, and K. Czarnecki. Variability modeling in the real: A perspective from the operating systems domain. In ASE, 2010.
8. C. Bron and J. Kerbosch. Algorithm 457: finding all cliques of an undirected graph. Commun. ACM, 1973.
9. P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley, 2001.
10. K. Czarnecki, C. H. P. Kim, and K. Kalleberg. Feature models are views on ontologies. In SPLC, 2006.
11. K. Czarnecki and A. Wa̧sowski. Feature models and logics: There and back again. In SPLC, 2007.
12. M. Janota, V. Kuzina, and A. Wasowski. Model construction with external constraints: An interactive journey from semantics to syntax. In MoDELS, 2008.
13. K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson. Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-21, 1990.
14. N. Niu and S. M. Easterbrook. On-demand cluster analysis for product line functional requirements. In SPLC, 2008.
15. S. She and T. Berger. Formal semantics of the Kconfig language. Technical Note. Available at eng.uwaterloo.ca/~shshe/kconfig semantics.pdf.
16. S. She, R. Lotufo, T. Berger, A. Wa̧sowski, and K. Czarnecki. The variability model of the linux kernel. In VaMoS, 2010.
17. J. Sincero, H. Schirmeier, W. Schröder-Preikschat, and O. Spinczyk. Is The Linux Kernel a Software Product Line? In SPLC-OSSPL, 2007.
18. G. Snelting. Reengineering of configurations based on mathematical concept analysis. TOSEM, 1996.
19. N. Weston, R. Chitchyan, and A. Rashid. A framework for constructing semantically composable feature models from natural language requirements. In SPLC, 2009.
20. R. Zippel and contributors. kconfig-language.txt. available in the kernel tree at kernel.org, seen 2009-11/23.