Benavides, D., Felfernig, A., Galindo, J.A., Reinfrank, F.: Automated analysis in feature modelling and product configuration. In: Favaro, J., Morisio, M. (eds.) ICSR 2013. LNCS, vol. 7925, pp. 160–175. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38977-1_11
CrossRef
Google Scholar
Benavides, D., Segura, S., Ruiz-Cortés, A.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615–636 (2010)
CrossRef
Google Scholar
Benavides, D., Segura, S., Trinidad, P., Ruiz-Cortés, A.: Using Java CSP solvers in the automated analyses of feature models. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 399–408. Springer, Heidelberg (2006). https://doi.org/10.1007/11877028_16
CrossRef
Google Scholar
van den Broek, P.: Optimization of product instantiation using integer programming. In: 14th International Software Product Line Conference (SPLC 2011), pp. 107–111 (2011)
Google Scholar
Czarnecki, K., Helsen, S., Eisenecker, U.: Staged configuration using feature models. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol. 3154, pp. 266–283. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-28630-1_17
CrossRef
Google Scholar
Czarnecki, K., Helsen, S., Eisenecker, U.: Staged configuration through specialization and multilevel configuration of feature models. Softw. Process. Improv. Pract. 10(2), 143–169 (2005)
CrossRef
Google Scholar
Felfernig, A., Hotz, L., Bagley, C., Tiihonen, J.: Knowledge-based Configuration: From Research to Business Cases. Morgan Kaufmann (2014)
Google Scholar
Hubaux, A., Tun, T.T., Heymans, P.: Separation of concerns in feature diagram languages: a systematic survey. ACM Comput. Surv. 45(4), 51:1–51:23 (2013)
CrossRef
Google Scholar
Hubaux, A., Heymans, P., Schobbens, P.Y., Deridder, D., Abbasi, E.: Supporting multiple perspectives in feature-based configuration. Softw. Syst. Model. (SoSyM) 12(3), 641–663 (2013)
CrossRef
Google Scholar
Janota, M.: SAT Solving in Interactive Configuration. Ph.D. thesis, University College of Dublin (2010)
Google Scholar
Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical report, Software Engineering Institute, Carnegie-Mellon University, November 1990
Google Scholar
Karataş, A.S., Oğuztüzün, H., Doğru, A.: Mapping extended feature models to constraint logic programming over finite domains. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 286–299. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-15579-6_20
CrossRef
Google Scholar
Mazo, R., Salinesi, C., Diaz, D., Lora-Michiels, A.: Transforming attribute and clone-enabled feature models into constraint programs over finite domains. In: 6th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2011). Springer (2011)
Google Scholar
Mendonca, M., Wasowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: 13th International Software Product Line Conference (SPLC 2009), pp. 231–240 (2009)
Google Scholar
Navarro, J.C., Chavarriaga, J.: Using microsoft solver foundation to analyse feature models and configurations. In: 2016 8th Euro American Conference on Telematics and Information Systems (EATIS), pp. 1–8 (2016)
Google Scholar
Ochoa, L., González-Rojas, O., Juliana, A.P., Castro, H., Saake, G.: A systematic literature review on the semi-automatic configuration of extended product lines. J. Syst. Softw. 144, 511–532 (2018)
CrossRef
Google Scholar