{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T05:56:22Z","timestamp":1726034182268},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030243074"},{"type":"electronic","value":"9783030243081"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-24308-1_32","type":"book-chapter","created":{"date-parts":[[2019,6,28]],"date-time":"2019-06-28T11:03:03Z","timestamp":1561719783000},"page":"383-399","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Using Scope Scenarios to Verify Multiple Variability Models"],"prefix":"10.1007","author":[{"given":"Matias","family":"Pol\u2019la","sequence":"first","affiliation":[]},{"given":"Agustina","family":"Buccella","sequence":"additional","affiliation":[]},{"given":"Alejandra","family":"Cechich","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,29]]},"reference":[{"issue":"6","key":"32_CR1","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1016\/j.scico.2012.12.004","volume":"78","author":"M Acher","year":"2013","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.: Familiar: a domain-specific language for large scale management of feature models. Sci. Comput. Program. 78(6), 657\u2013681 (2013). \n                      https:\/\/doi.org\/10.1016\/j.scico.2012.12.004","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"32_CR2","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1007\/s10270-014-0441-1","volume":"15","author":"K Bak","year":"2016","unstructured":"Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wkasowski, A.: Clafer: unifying class and feature modeling. Softw. Syst. Model. 15(3), 811\u2013845 (2016). \n                      https:\/\/doi.org\/10.1007\/s10270-014-0441-1","journal-title":"Softw. Syst. Model."},{"issue":"6","key":"32_CR3","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Ruiz-Cort\u00e9s, A.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615\u2013636 (2010). \n                      https:\/\/doi.org\/10.1016\/j.is.2010.01.001","journal-title":"Inf. Syst."},{"key":"32_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-319-23781-7_26","volume-title":"Model and Data Engineering","author":"NR Brisaboa","year":"2015","unstructured":"Brisaboa, N.R., Corti\u00f1as, A., Luaces, M.R., Pol\u2019la, M.: A reusable software architecture for geographic information systems based on software product line engineering. In: Bellatreche, L., Manolopoulos, Y. (eds.) MEDI 2015. LNCS, vol. 9344, pp. 320\u2013331. Springer, Cham (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-319-23781-7_26"},{"issue":"0","key":"32_CR5","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.cageo.2012.11.014","volume":"54","author":"A Buccella","year":"2013","unstructured":"Buccella, A., Cechich, A., Arias, M., Pol\u2019la, M., Doldan, S., Morsan, E.: Towards systematic software reuse of GIS: insights from a case study. Comput. Geosci. 54(0), 9\u201320 (2013). \n                      https:\/\/doi.org\/10.1016\/j.cageo.2012.11.014","journal-title":"Comput. Geosci."},{"key":"32_CR6","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1016\/j.cageo.2014.09.004","volume":"73","author":"A Buccella","year":"2014","unstructured":"Buccella, A., Cechich, A., Pol\u2019la, M., Arias, M., Doldan, S., Morsan, E.: Marine ecology service reuse through taxonomy-oriented SPL development. Comput. Geosci. 73, 108\u2013121 (2014). \n                      https:\/\/doi.org\/10.1016\/j.cageo.2014.09.004","journal-title":"Comput. Geosci."},{"issue":"1","key":"32_CR7","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10515-010-0076-6","volume":"18","author":"D Dhungana","year":"2011","unstructured":"Dhungana, D., Gr\u00c3nbacher, P., Rabiser, R.: The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study. Autom. Softw. Eng. 18(1), 77\u2013114 (2011). \n                      https:\/\/doi.org\/10.1007\/s10515-010-0076-6","journal-title":"Autom. Softw. Eng."},{"doi-asserted-by":"publisher","unstructured":"Hartmann, H., Trew, T.: Using feature diagrams with context variability to model multiple product lines for software supply chains. In: 2008 12th International Software Product Line Conference, pp. 12\u201321, September 2008. \n                      https:\/\/doi.org\/10.1109\/SPLC.2008.15","key":"32_CR8","DOI":"10.1109\/SPLC.2008.15"},{"issue":"3","key":"32_CR9","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1145\/3093335.2993248","volume":"52","author":"M Kowal","year":"2016","unstructured":"Kowal, M., Ananieva, S., Th\u00fcm, T.: Explaining anomalies in feature models. SIGPLAN Not. 52(3), 132\u2013143 (2016). \n                      https:\/\/doi.org\/10.1145\/3093335.2993248","journal-title":"SIGPLAN Not."},{"issue":"1","key":"32_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.infsof.2009.05.001","volume":"52","author":"LB Lisboa","year":"2010","unstructured":"Lisboa, L.B., Garcia, V.C., Lucr\u00e9dio, D., Almeida, E.S., Meira, S.R.D.L., Fortes, R.P.M.: A systematic review of domain analysis tools. Inf. Softw. Technol. 52(1), 1\u201313 (2010). \n                      https:\/\/doi.org\/10.1016\/j.infsof.2009.05.001","journal-title":"Inf. Softw. Technol."},{"doi-asserted-by":"publisher","unstructured":"Mazo, R., Mu\u00f1oz-Fern\u00e1ndez, J., Rinc\u00f3n, L., Salinesi, C., Tamura, G.: VariaMos: an extensible tool for engineering (dynamic) product lines. In: Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, 20\u201324 July 2015, pp. 374\u2013379 (2015). \n                      https:\/\/doi.org\/10.1145\/2791060.2791103","key":"32_CR11","DOI":"10.1145\/2791060.2791103"},{"doi-asserted-by":"publisher","unstructured":"Mendonca, M., Branco, M., Cowan, D.: SPLOT: software product lines online tools. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, OOPSLA 2009, pp. 761\u2013762. ACM, New York (2009). \n                      https:\/\/doi.org\/10.1145\/1639950.1640002","key":"32_CR12","DOI":"10.1145\/1639950.1640002"},{"doi-asserted-by":"publisher","unstructured":"Metzger, A., Pohl, K., Heymans, P., Schobbens, P., Saval, G.: Disambiguating the documentation of variability in software product lines: a separation of concerns, formalization and automated analysis. In: 15th IEEE International Requirements Engineering Conference (RE 2007), pp. 243\u2013253, October 2007. \n                      https:\/\/doi.org\/10.1109\/RE.2007.61","key":"32_CR13","DOI":"10.1109\/RE.2007.61"},{"key":"32_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van Der Linden, F.J.: Software Product Line Engineering: Foundations. Principles and Techniques. Springer, New York (2005)"},{"key":"32_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-319-95171-3_29","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2018","author":"M Pol\u2019la","year":"2018","unstructured":"Pol\u2019la, M., Buccella, A., Cechich, A.: Automated analysis of variability models: the SeVaTax process. In: Gervasi, O., et al. (eds.) ICCSA 2018. LNCS, vol. 10963, pp. 365\u2013381. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-95171-3_29"},{"key":"32_CR16","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.entcs.2014.01.023","volume":"302","author":"L Rinc\u00f3n","year":"2014","unstructured":"Rinc\u00f3n, L., Giraldo, G., Mazo, R., Salinesi, C.: An ontological rule-based approach for analyzing dead and false optional features in feature models. Electron. Notes Theor. Comput. Sci. 302, 111\u2013132 (2014). \n                      https:\/\/doi.org\/10.1016\/j.entcs.2014.01.023","journal-title":"Electron. Notes Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Roos-Frantz, F., Galindo, J., Benavides, D., Cort\u00e9s, A.R.: FaMa-OVM: a tool for the automated analysis of OVMs. In: Proceedings of the 16th International Software Product Line Conference, vol. 2, pp. 250\u2013254. ACM (2012)","key":"32_CR17","DOI":"10.1145\/2364412.2364456"},{"doi-asserted-by":"publisher","unstructured":"Rosenm\u00fcller, M., Siegmund, N., Th\u00fcm, T., Saake, G.: Multi-dimensional variability modeling. In: Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS 2011, pp. 11\u201320. ACM, New York (2011). \n                      https:\/\/doi.org\/10.1145\/1944892.1944894","key":"32_CR18","DOI":"10.1145\/1944892.1944894"},{"unstructured":"Segura, S., Benavides, D., Cort\u00e9s, A.R.: Functional testing of feature model analysis tools. A first step. In: 12th International Conference Software Product Lines, Proceedings, Second Volume (Workshops), SPLC 2008, Limerick, Ireland, 8\u201312 September 2008, p. 179 (2008)","key":"32_CR19"},{"key":"32_CR20","doi-asserted-by":"publisher","first-page":"46","DOI":"10.4204\/EPTCS.206.5","volume":"206","author":"Anjali Sree-Kumar","year":"2016","unstructured":"Sree-Kumar, A., Planas, E., Clariso, R.: Analysis of feature models using alloy: a survey. In: Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, 3 April 2016, pp. 46\u201360 (2016). \n                      https:\/\/doi.org\/10.4204\/EPTCS.206.5","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"32_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., Hst, M., Ohlsson, M., Regnell, B., Wessln, A.: Experimentation in Software Engineering. Springer, Heidelberg (2012)"},{"doi-asserted-by":"publisher","unstructured":"Zaid, L., Kleinermann, F., Troyer, O.D.: Applying semantic web technology to feature modeling. In: Proceedings of the 2009 ACM Symposium on Applied Computing, SAC 2009, pp. 1252\u20131256. ACM, New York (2009). \n                      https:\/\/doi.org\/10.1145\/1529282.1529563","key":"32_CR22","DOI":"10.1145\/1529282.1529563"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2019"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-24308-1_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,28]],"date-time":"2019-06-28T11:11:23Z","timestamp":1561720283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-24308-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030243074","9783030243081"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-24308-1_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"29 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Saint Petersburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Russia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccsa2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.iccsa.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}