{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T04:14:42Z","timestamp":1746072882896,"version":"3.40.4"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319005591"},{"type":"electronic","value":"9783319005607"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-00560-7_38","type":"book-chapter","created":{"date-parts":[[2013,4,30]],"date-time":"2013-04-30T22:47:48Z","timestamp":1367362068000},"page":"347-356","source":"Crossref","is-referenced-by-count":1,"title":["Automatic Generation of SPL Structurally Valid Products Using Graph Transformations Approach"],"prefix":"10.1007","author":[{"given":"Khaled","family":"Khalfaoui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cherif","family":"Foudil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elhillali","family":"Kerkouche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W. and Peterson, S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report, CMU\/SEI- 90-TR-21 (1990)","DOI":"10.21236\/ADA235785"},{"key":"38_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6423(98)00023-9","volume":"34","author":"M. Andries","year":"1999","unstructured":"Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.J., Kuske, S., Pump, D., Sch\u00fcrr, A., Taentzer, G.: Graph transformation for Specification and Programming. Science of Computer Programming\u00a034, 1\u201354 (1999)","journal-title":"Science of Computer Programming"},{"key":"38_CR3","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"G. Rozenberg","year":"1999","unstructured":"Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a01. World Scientific, Singapore (1999)"},{"key":"38_CR4","first-page":"176","volume-title":"SPLC 2","author":"M. Mannion","year":"2002","unstructured":"Mannion, M.: Using First-Order Logic for Product Line Model Validation. In: Chastek, G.J. (ed.) SPLC 2, pp. 176\u2013187. Springer, London (2002)"},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"Sun, J., Zhang, H., Li, Y., Wang, H.: Formal Semantics and Verification for Feature Modeling. In: Proceedings of the ICECS 2005, pp. 303\u2013312 (2005)","DOI":"10.1109\/ICECCS.2005.48"},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"Wang, H., Li, Y., Sun, J., Zhang, H., Pan, J.: Verifying Feature Models Using OWL. In: Web Semantics: Science Services and Agents on the World Wide Web, vol.\u00a05, pp. 117\u2013129 (2007)","DOI":"10.1016\/j.websem.2006.11.006"},{"key":"38_CR7","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, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 491\u2013503. Springer, Heidelberg (2005)"},{"key":"38_CR8","first-page":"375","volume":"24","author":"E. Bagheri","year":"2012","unstructured":"Bagheri, E., Noia, T.D., Gasevic, D., Ragone, A.: Formalizing Interactive Staged Feature Model Configuration. Journal of Software\u00a024, 375\u2013400 (2012)","journal-title":"Journal of Software"},{"key":"38_CR9","first-page":"13","volume-title":"Proceedings of GPCE 2008","author":"M. Mendonca","year":"2008","unstructured":"Mendonca, M., Wasowski, A., Czarnecki, K., Cowan, D.: Efficient Compilation Techniques for Large Scale Feature Models. In: Proceedings of GPCE 2008, pp. 13\u201322. ACM Press, USA (2008)"},{"key":"38_CR10","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. Journal of Information Systems\u00a035, 615\u2013636 (2010)","journal-title":"Journal of Information Systems"},{"key":"38_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Graph Transformations","year":"2012","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): ICGT 2012. LNCS, vol.\u00a07562. Springer, Heidelberg (2012)"},{"key":"38_CR12","doi-asserted-by":"publisher","first-page":"1279","DOI":"10.4304\/jsw.5.11.1279-1291","volume":"5","author":"E. Kerkouche","year":"2010","unstructured":"Kerkouche, E., Chaoui, A., Bourennane, E.B., Labbani, O.: On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models. JSW\u00a05, 1279\u20131291 (2010)","journal-title":"JSW"},{"key":"38_CR13","first-page":"29","volume":"6","author":"F. Taibi","year":"2012","unstructured":"Taibi, F.: Automatic Extraction and Integration of Changes in Shared Software Specifications. IJSEIA\u00a06, 29\u201345 (2012)","journal-title":"IJSEIA"},{"key":"38_CR14","doi-asserted-by":"crossref","unstructured":"Zambon, E., Rensink, A.: using Graph Transformations and Graph Abstractions for Software Verification. ICGT-DS, EC of the EASST\u00a038 (2011)","DOI":"10.1007\/978-3-642-15928-2_37"},{"key":"38_CR15","doi-asserted-by":"publisher","first-page":"2518","DOI":"10.4304\/jsw.7.11.2518-2532","volume":"7","author":"K. Khalfaoui","year":"2012","unstructured":"Khalfaoui, K., Chaoui, A., Foudil, C., Kerkouche, E.: Formal Specification of Software Product Lines: A Graph Transformation Based Approach. JSW\u00a07, 2518\u20132532 (2012)","journal-title":"JSW"},{"key":"38_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-45923-5_12","volume-title":"Fundamental Approaches to Software Engineering","author":"J. de Lara","year":"2002","unstructured":"de Lara, J., Vangheluwe, H.: AToM: A Tool for Multi-formalism and Meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 174\u2013188. Springer, Heidelberg (2002)"}],"container-title":["Studies in Computational Intelligence","Modeling Approaches and Algorithms for Advanced Computer Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-00560-7_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T07:41:42Z","timestamp":1745998902000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-00560-7_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319005591","9783319005607"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-00560-7_38","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2013]]}}}