{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:25:53Z","timestamp":1725805553511},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319116525"},{"type":"electronic","value":"9783319116532"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11653-2_29","type":"book-chapter","created":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T11:30:44Z","timestamp":1411126244000},"page":"467-483","source":"Crossref","is-referenced-by-count":4,"title":["Resolution of Interfering Product Fragments in Software Product Line Engineering"],"prefix":"10.1007","author":[{"given":"Anatoly","family":"Vasilevskiy","sequence":"first","affiliation":[]},{"given":"\u00d8ystein","family":"Haugen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K. Pohl","year":"2010","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques, 1st edn. Springer Publishing Company, Incorporated (2010)","edition":"1"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Van Deursen, A., Klint, P., Visser, J.: Domain-specific languages. Centrum voor Wiskunde en Informatika (2000)","DOI":"10.1145\/352029.352035"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Tolvanen, J.P., Kelly, S.: Integrating models with domain-specific modeling languages. In: Proceedings of the 10th Workshop on Domain-Specific Modeling, DSM 2010, pp. 10:1\u201310:6. ACM, New York (2010)","DOI":"10.1145\/2060329.2060354"},{"key":"29_CR4","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-540-33253-4_6","volume-title":"Software Product Lines","author":"J. Bayer","year":"2006","unstructured":"Bayer, J., Gerard, S., Haugen, \u00d8., Mansell, J., M\u00f8ller-Pedersen, B., Oldevik, J., Tessier, P., Thibault, J.P., Widen, T.: Consolidated Product Line Variability Modelling. In: K\u00e4k\u00f6la, T., Duenas, J.C. (eds.) Software Product Lines, pp. 195\u2013241. Springer, Heidelberg (2006)"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU\/SEI-90-TR-21 ESD-90-TR-222, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213 (1990)","DOI":"10.21236\/ADA235785"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Wasowski, A.: Feature Diagrams and Logics: There and Back Again. In: IEEE 11th International Software Product Line Conference (SPLC 2007), pp. 23\u201334 (September 2007)","DOI":"10.1109\/SPLINE.2007.24"},{"key":"29_CR7","unstructured":"OMG: Common Variability Language (CVL). OMG, OMG document: ad\/2012-08-05 (2012)"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8., M\u00f8ller-Pedersen, B., Oldevik, J., Olsen, G.K., Svendsen, A.: Adding Standardized Variability to Domain Specific Languages. In: 12th International Software Product Line Conference, SPLC 2008, pp. 139\u2013148 (2008)","DOI":"10.1109\/SPLC.2008.25"},{"key":"29_CR9","first-page":"266","volume-title":"Proceedings of the 16th International Software Product Line Conference, SPLC 2012","author":"\u00d8. Haugen","year":"2012","unstructured":"Haugen, \u00d8., Wasowski, A., Czarnecki, K.: CVL: common variability language. In: Proceedings of the 16th International Software Product Line Conference, SPLC 2012, vol.\u00a02, pp. 266\u2013267. ACM, New York (2012)"},{"key":"29_CR10","unstructured":"OMG: Unified modeling language: Superstructure version 2.0, formal\/05-07-04 (2005)"},{"key":"29_CR11","unstructured":"Haugen, \u00d8.: CVL Tool from SINTEF (2010), Also available as \n                    \n                      http:\/\/www.omgwiki.org\/variability\/doku.php?id=cvl_tool_from_sintef"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8., Wasowski, A., Czarnecki, K.: Cvl: common variability language. In: Kishi, T., Jarzabek, S., Gnesi, S. (eds.) SPLC, p. 277. ACM (2013)","DOI":"10.1145\/2491627.2493899"},{"issue":"1","key":"29_CR13","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.entcs.2005.12.018","volume":"148","author":"R. Heckel","year":"2006","unstructured":"Heckel, R.: Graph Transformation in a Nutshell. Electronic Notes in Theoretical Computer Science\u00a0148(1), 187\u2013198 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"29_CR14","first-page":"609","volume-title":"Proceedings of the 1st International Joint Conference on Artificial Intelligence, IJCAI 1969","author":"J.L. Pfaltz","year":"1969","unstructured":"Pfaltz, J.L., Rosenfeld, A.: Web grammars. In: Proceedings of the 1st International Joint Conference on Artificial Intelligence, IJCAI 1969, pp. 609\u2013619. Morgan Kaufmann Publishers Inc., San Francisco (1969)"},{"issue":"6","key":"29_CR15","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1016\/S0022-0000(71)80016-8","volume":"5","author":"T.W. Pratt","year":"1971","unstructured":"Pratt, T.W.: Pair grammars, graph languages and string-to-graph translations. J. Comput. Syst. Sci.\u00a05(6), 560\u2013595 (1971)","journal-title":"J. Comput. Syst. Sci."},{"key":"29_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45832-8_14","volume-title":"Graph Transformation","author":"R. Heckel","year":"2002","unstructured":"Heckel, R., Kster, J., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 161\u2013176. Springer, Heidelberg (2002)"},{"key":"29_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-00593-0_3","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Oldevik","year":"2009","unstructured":"Oldevik, J., Haugen, \u00d8., M\u00f8ller-Pedersen, B.: Confluence in Domain-Independent Product Line Transformations. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 34\u201348. Springer, Heidelberg (2009)"},{"key":"29_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-29645-1_8","volume-title":"Models in Software Engineering","author":"A. Svendsen","year":"2012","unstructured":"Svendsen, A., Zhang, X., Haugen, \u00d8., M\u00f8ller-Pedersen, B.: Towards evolution of generic variability models. In: Kienzle, J. (ed.) MODELS 2011 Workshops. LNCS, vol.\u00a07167, pp. 53\u201367. Springer, Heidelberg (2012)"},{"key":"29_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-87875-9_9","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Svendsen","year":"2008","unstructured":"Svendsen, A., Olsen, G.K., Endresen, J., Moen, T., Carlson, E.J., Alme, K.-J., Haugen, \u00d8.: The future of train signaling. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 128\u2013142. Springer, Heidelberg (2008)"},{"key":"29_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0025714","volume-title":"Graph-Grammars and Their Application to Computer Science and Biology","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the algebraic theory of graph grammars (a survey). In: Claus, V., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol.\u00a073, pp. 1\u201369. Springer, Heidelberg (1979)"},{"key":"29_CR21","unstructured":"Vasilevskiy, A.: Conquering overlapping fragments in CVL. Master\u2019s thesis, University of Oslo (UiO), pp. 42\u201358 (2013)"},{"key":"29_CR22","first-page":"702","volume-title":"Proceedings of the 26th International Conference on Software Engineering, ICSE 2004","author":"D. Batory","year":"2004","unstructured":"Batory, D.: Feature-oriented programming and the ahead tool suite. In: Proceedings of the 26th International Conference on Software Engineering, ICSE 2004, pp. 702\u2013703. IEEE Computer Society, Washington, DC (2004)"},{"key":"29_CR23","doi-asserted-by":"crossref","unstructured":"Batory, D., Sarvela, J., Rauschmayer, A.: Scaling step-wise refinement. IEEE Transactions on Software Engineering\u00a030(6), 355\u2013371","DOI":"10.1109\/TSE.2004.23"},{"key":"29_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-3-642-15579-6_6","volume-title":"Software Product Lines: Going Beyond","author":"I. Schaefer","year":"2010","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 77\u201391. Springer, Heidelberg (2010)"},{"key":"29_CR25","doi-asserted-by":"crossref","unstructured":"Lauret, J., Waeselynck, H., Fabre, J.C.: Detection of interferences in aspect-oriented programs using executable assertions. In: 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 165\u2013170 (November 2012)","DOI":"10.1109\/ISSREW.2012.34"},{"key":"29_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-16145-2_9","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Arendt","year":"2010","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced concepts and tools for in-place emf model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol.\u00a06394, pp. 121\u2013135. Springer, Heidelberg (2010)"},{"key":"29_CR27","unstructured":"Klassen, L., Wagner, R.: Emorf-a tool for model transformations. Electronic Communications of the EASST\u00a054 (2012)"},{"key":"29_CR28","unstructured":"ARTEMIS 2011, Project Number: 295397, VARIES: VARiability In safety critical Embedded Systems (2012-2015)"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11653-2_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T22:56:58Z","timestamp":1558997818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11653-2_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319116525","9783319116532"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11653-2_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}