{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:11:04Z","timestamp":1759032664782},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319559605"},{"type":"electronic","value":"9783319559612"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-55961-2_10","type":"book-chapter","created":{"date-parts":[[2017,3,28]],"date-time":"2017-03-28T02:43:45Z","timestamp":1490669025000},"page":"98-108","source":"Crossref","is-referenced-by-count":2,"title":["Program Synthesis for Configuring Collaborative Solutions in Feature Models"],"prefix":"10.1007","author":[{"given":"Lina","family":"Ochoa","sequence":"first","affiliation":[]},{"given":"Oscar","family":"Gonz\u00e1lez-Rojas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,29]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-540-71229-9_11","volume-title":"Compiler Construction","author":"D Batory","year":"2007","unstructured":"Batory, D.: Program refactoring, program synthesis, and model-driven development. In: Krishnamurthi, S., Odersky, M. (eds.) CC 2007. LNCS, vol. 4420, pp. 156\u2013171. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71229-9_11"},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1007\/s10270-014-0441-1","volume":"15","author":"K Ba\u0327k","year":"2016","unstructured":"Ba\u0327k, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wa\u0327sowski, A.: Clafer: unifying class and feature modeling. Softw. Syst. Model. 15, 811\u2013845 (2016)","journal-title":"Softw. Syst. Model."},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/11431855_34","volume-title":"Advanced Information Systems Engineering","author":"D Benavides","year":"2005","unstructured":"Benavides, D., Trinidad, P., Ruiz-Cort\u00e9s, A.: Automated reasoning on feature models. In: Pastor, O., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491\u2013503. Springer, Heidelberg (2005). doi: 10.1007\/11431855_34"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-642-33119-0_19","volume-title":"Search Based Software Engineering","author":"TE Colanzi","year":"2012","unstructured":"Colanzi, T.E., Vergilio, S.R.: Applying search based optimization to software product line architectures: lessons learned. In: Fraser, G., Teixeira de Souza, J. (eds.) SSBSE 2012. LNCS, vol. 7515, pp. 259\u2013266. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33119-0_19"},{"key":"10_CR5","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, New York (2000)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Henard, C., Papadakis, M., Harman, M., Le Traon, Y.: Combining multi-objective search and constraint solving for configuring large software product lines. In: 37th International Conference on Software Engineering, pp. 517\u2013528. IEEE Press (2015)","DOI":"10.1109\/ICSE.2015.69"},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"17:1","DOI":"10.1145\/2897760","volume":"25","author":"RM Hierons","year":"2016","unstructured":"Hierons, R.M., Li, M., Liu, X., Segura, S., Zheng, W.: SIP: optimal product selection from feature models using many-objective evolutionary optimization. ACM Trans. Softw. Eng. Methodol. 25, 17:1\u201317:39 (2016)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10_CR8","unstructured":"Junker, U.: QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems. In: 19th National Conference on Artifical Intelligence, pp. 167\u2013172. AAAI Press, Menlo Park (2004)"},{"key":"10_CR9","unstructured":"Liang, J.: Solving Clafer models with Choco. University of Waterloo, Technical report (2012)"},{"key":"10_CR10","unstructured":"Machado, L., Pereira, J., Garcia, L., Figueiredo, E.: SPLConfig: product configuration in software product line. In: Brazilian Conference on Software: Theory and Practice - Tools Session, pp. 85\u201392 (2014)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Ochoa, L., Gonz\u00e1lez-Rojas, O., Th\u00fcm, T.: Using decision rules for solving conflicts in extended feature models. In: 8th ACM SIGPLAN International Conference on Software Language Engineering, pp. 149\u2013160. ACM, New York (2015)","DOI":"10.1145\/2814251.2814263"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-319-47717-6_6","volume-title":"Advances in Conceptual Modeling","author":"L Ochoa","year":"2016","unstructured":"Ochoa, L., Gonz\u00e1lez-Rojas, O., Verano, M., Castro, H.: Searching for optimal configurations within large-scale models: a cloud computing domain. In: Link, S., Trujillo, J.C. (eds.) ER 2016. LNCS, vol. 9975, pp. 65\u201375. Springer, Cham (2016). doi: 10.1007\/978-3-319-47717-6_6"},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1007\/s11219-011-9152-9","volume":"20","author":"N Siegmund","year":"2012","unstructured":"Siegmund, N., Rosenm\u00fcller, M., Kuhlemann, M., K\u00e4stner, C., Apel, S., Saake, G.: SPL conqueror: toward optimization of non-functional properties in software product lines. Softw. Qual. J. 20, 487\u2013517 (2012)","journal-title":"Softw. Qual. J."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Stein, J., Nunes, I., Cirilo, E.: Preference-based feature model configuration with multiple stakeholders. In: 18th International Software Product Line Conference, pp. 132\u2013141. ACM, New York (2014)","DOI":"10.1145\/2648511.2648525"},{"key":"10_CR15","doi-asserted-by":"crossref","first-page":"1094","DOI":"10.1016\/j.jss.2010.02.017","volume":"83","author":"J White","year":"2010","unstructured":"White, J., Benavides, D., Schmidt, D., Trinidad, P., Dougherty, B., Ruiz-Cortes, A.: Automated diagnosis of feature model configurations. J. Syst. Softw. 83, 1094\u20131107 (2010)","journal-title":"J. Syst. Softw."},{"key":"10_CR16","doi-asserted-by":"crossref","first-page":"1268","DOI":"10.1016\/j.jss.2009.02.011","volume":"82","author":"J White","year":"2009","unstructured":"White, J., Dougherty, B., Schmidt, D.C.: Selecting highly optimal architectural feature sets with filtered cartesian flattening. J. Syst. Softw. 82, 1268\u20131284 (2009)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2016 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-55961-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,22]],"date-time":"2023-08-22T21:19:17Z","timestamp":1692739157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-55961-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319559605","9783319559612"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-55961-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}