{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:27:38Z","timestamp":1726410458739},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452332"},{"type":"electronic","value":"9783662452349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45234-9_19","type":"book-chapter","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T01:28:35Z","timestamp":1411694915000},"page":"257-272","source":"Crossref","is-referenced-by-count":0,"title":["A Core Language for Separate Variability Modeling"],"prefix":"10.1007","author":[{"given":"Alexandru F.","family":"Iosif-Laz\u0103r","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-642-19440-5_7","volume-title":"Software Language Engineering","author":"K. B\u0105k","year":"2011","unstructured":"B\u0105k, K., Czarnecki, K., W\u0105sowski, A.: Feature and meta-models in Clafer: Mixed, specialized, and coupled. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol.\u00a06563, pp. 102\u2013122. Springer, Heidelberg (2011)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Benavides, D., Cort\u00e9s, A.R., Trinidad, P., Segura, S.: A survey on the automated analyses of feature models. In: JISBD, pp. 367\u2013376 (2006)","DOI":"10.1007\/11877028_16"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Berger, T., Rublack, R., Nair, D., Atlee, J.M., Becker, M., Czarnecki, K., Wasowski, A.: A survey of variability modeling in industrial practice. In: VaMoS, p.\u00a07 (2013)","DOI":"10.1145\/2430502.2430513"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1007\/978-3-642-15579-6_48","volume-title":"Software Product Lines: Going Beyond","author":"T. Berger","year":"2010","unstructured":"Berger, T., She, S., Lotufo, R., Czarnecki, K., W\u0105sowski, A.: Feature-to-code mapping in two large product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 498\u2013499. Springer, Heidelberg (2010)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Bodden, E., Tol\u00eado, T., Ribeiro, M., Brabrand, C., Borba, P., Mezini, M.: Spl lift : statically analyzing software product lines in minutes instead of years. In: PLDI, pp. 355\u2013364 (2013)","DOI":"10.1145\/2499370.2491976"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-642-21455-4_13","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"D. Clarke","year":"2011","unstructured":"Clarke, D., Diakov, N., H\u00e4hnle, R., Johnsen, E.B., Schaefer, I., Sch\u00e4fer, J., Schlatte, R., Wong, P.Y.H.: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 417\u2013457. Springer, Heidelberg (2011)"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. In: Visser, E., J\u00e4rvi, J. (eds.) GPCE, pp. 13\u201322. ACM (2010)","DOI":"10.1145\/1868294.1868298"},{"issue":"12","key":"19_CR8","doi-asserted-by":"publisher","first-page":"1130","DOI":"10.1016\/j.scico.2010.10.005","volume":"76","author":"A. Classen","year":"2011","unstructured":"Classen, A., Boucher, Q., Heymans, P.: A text-based approach to feature modelling: syntax and semantics of TVL. Sci. Comput. Program.\u00a076(12), 1130\u20131143 (2011)","journal-title":"Sci. Comput. Program."},{"key":"19_CR9","unstructured":"Clements, P., Northrop, L.M.: Software Product Lines: Practices and Patterns. Addison-Wesley (2002)"},{"key":"19_CR10","unstructured":"CVL Joint Submission Team. Common Variability Language (CVL). OMG Revised Submission (2012)"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/11561347_28","volume-title":"Generative Programming and Component Engineering","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping features to models: A template approach based on superimposed variants. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol.\u00a03676, pp. 422\u2013437. Springer, Heidelberg (2005)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Gr\u00fcnbacher, P., Rabiser, R., Schmid, K., Wasowski, A.: Cool features and tough decisions: A comparison of variability modeling approaches. In: VaMoS, pp. 173\u2013182 (2012)","DOI":"10.1145\/2110147.2110167"},{"issue":"3","key":"19_CR13","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal\u00a045(3), 621\u2013646 (2006)","journal-title":"IBM Systems Journal"},{"issue":"1","key":"19_CR14","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1002\/spip.213","volume":"10","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.W.: Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice\u00a010(1), 7\u201329 (2005)","journal-title":"Software Process: Improvement and Practice"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness ocl constraints. In: GPCE 2006, pp. 211\u2013220. ACM (2006)","DOI":"10.1145\/1173706.1173738"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Haber, A., Kolassa, C., Manhart, P., Nazari, P.M.S., Rumpe, B., Schaefer, I.: First-class variability modeling in matlab\/simulink. In: VaMoS, p.\u00a04 (2013)","DOI":"10.1145\/2430502.2430508"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8.: Cvl: common variability language or chaos, vanity and limitations. In: VaMoS, p.\u00a01 (2013)","DOI":"10.1145\/2430502.2430504"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Heidenreich, F., Kopcsek, J., Wende, C.: Featuremapper: mapping features to models. In: ICSE Companion, pp. 943\u2013944 (2008)","DOI":"10.1145\/1370175.1370199"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Rouncefield, M., Whittle, J.: Model-driven engineering practices in industry. In: ICSE, pp. 633\u2013642 (2011)","DOI":"10.1145\/1985793.1985882"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Janota, M., Kiniry, J.: Reasoning about feature models in higher-order logic. In: SPLC, pp. 13\u201322 (2007)","DOI":"10.1109\/SPLINE.2007.36"},{"key":"19_CR21","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 (November 1990)","DOI":"10.21236\/ADA235785"},{"key":"19_CR22","unstructured":"Object Management Group. Meta Object Facility (MOF) Core Specification Version 2.0 (2006)"},{"key":"19_CR23","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":"19_CR24","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Sprinter (2005)","DOI":"10.1007\/3-540-28901-1"},{"issue":"6","key":"19_CR25","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1002\/cpe.583","volume":"13","author":"C. Prehofer","year":"2001","unstructured":"Prehofer, C.: Feature-oriented programming: A new way of object composition. Concurrency and Computation: Practice and Experience\u00a013(6), 465\u2013501 (2001)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"19_CR26","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)"},{"issue":"5","key":"19_CR27","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/s10009-012-0253-y","volume":"14","author":"I. Schaefer","year":"2012","unstructured":"Schaefer, I., Rabiser, R., Clarke, D., Bettini, L., Benavides, D., Botterweck, G., Pathak, A., Trujillo, S., Villela, K.: Software diversity: state of the art and perspectives. STTT\u00a014(5), 477\u2013495 (2012)","journal-title":"STTT"},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"Schmid, K., Rabiser, R., Gr\u00fcnbacher, P.: A comparison of decision modeling approaches in product lines. In: VaMoS, pp. 119\u2013126 (2011)","DOI":"10.1145\/1944892.1944907"},{"issue":"2","key":"19_CR29","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/j.comnet.2006.08.008","volume":"51","author":"P.-Y. Schobbens","year":"2007","unstructured":"Schobbens, P.-Y., Heymans, P., Trigaux, J.-C., Bontemps, Y.: Generic semantics of feature diagrams. Computer Networks\u00a051(2), 456\u2013479 (2007)","journal-title":"Computer Networks"},{"key":"19_CR30","unstructured":"Stahl, T., Voelter, M.: Model-Driven Software Development. John Wiley & Sons (2004)"},{"key":"19_CR31","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., K\u00e4stner, C., Erdweg, S., Siegmund, N.: Abstract features in feature modeling. In: SPLC, pp. 191\u2013200 (2011)","DOI":"10.1109\/SPLC.2011.53"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45234-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,17]],"date-time":"2022-04-17T22:08:41Z","timestamp":1650233321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45234-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452332","9783662452349"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45234-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}