{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:25:21Z","timestamp":1725585921741},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642213465"},{"type":"electronic","value":"9783642213472"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21347-2_1","type":"book-chapter","created":{"date-parts":[[2011,6,15]],"date-time":"2011-06-15T09:04:05Z","timestamp":1308128645000},"page":"1-3","source":"Crossref","is-referenced-by-count":0,"title":["Understanding Variability Abstraction and Realization"],"prefix":"10.1007","author":[{"given":"Krzysztof","family":"Czarnecki","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-79980-1_4","volume-title":"Algebraic Methodology and Software Technology","author":"S. Apel","year":"2008","unstructured":"Apel, S., Lengauer, C., M\u00f6ller, B., K\u00e4stner, C.: An algebra for features and feature composition. In: Bevilacqua, V., Ro\u015fu, G. (eds.) AMAST 2008. LNCS, vol.\u00a05140, pp. 36\u201350. Springer, Heidelberg (2008)"},{"key":"1_CR2","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":"1_CR3","first-page":"355","volume":"30","author":"D. Batory","year":"2004","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. IEEE TSE\u00a030, 355\u2013371 (2004)","journal-title":"IEEE TSE"},{"doi-asserted-by":"crossref","unstructured":"Benavides, D., Segura, S., Ruiz-Cort\u00e9s, A.: Automated analysis of feature models 20 years later: a literature review. Information Systems\u00a035(6) (2010)","key":"1_CR4","DOI":"10.1016\/j.is.2010.01.001"},{"doi-asserted-by":"crossref","unstructured":"Berger, T., She, S., Lotufo, R., W\u0105sowski, A., Czarnecki, K.: Variability modeling in the real: a perspective from the operating systems domain. In: ASE (2010)","key":"1_CR5","DOI":"10.1145\/1858996.1859010"},{"doi-asserted-by":"crossref","unstructured":"Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. In: GPCE 2010 (2010)","key":"1_CR6","DOI":"10.1145\/1868294.1868298"},{"doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: ICSE, pp. 335\u2013344 (2010)","key":"1_CR7","DOI":"10.1145\/1806799.1806850"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/52.730836","volume":"15","author":"J. Coplien","year":"1998","unstructured":"Coplien, J., Hoffman, D., Weiss, D.: Commonality and variability in software engineering. IEEE Softw.\u00a015, 37\u201345 (1998)","journal-title":"IEEE Softw."},{"doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In: GPCE 2006 (2006)","key":"1_CR9","DOI":"10.1145\/1173706.1173738"},{"key":"1_CR10","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)"},{"unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative programming: methods, tools, and applications. ACM Press\/Addison-Wesley Publishing Co. (2000)","key":"1_CR11"},{"doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Peter Kim, C.H., Kalleberg, K.T.: Feature models are views on ontologies. In: SPLC (2006)","key":"1_CR12","DOI":"10.1109\/SPLINE.2006.1691576"},{"doi-asserted-by":"crossref","unstructured":"Erwig, M., Walkingshaw, E.: The choice calculus: A representation for software variation. In: ACM TOSEM (to appear, 2011)","key":"1_CR13","DOI":"10.1145\/2063239.2063245"},{"doi-asserted-by":"crossref","unstructured":"Haugen, O., M\u00f8ller-Pedersen, B., Oldevik, J., Olsen, G.K., Svendsen, A.: Adding standardized variability to domain specific languages. In: SPLC (2008)","key":"1_CR14","DOI":"10.1109\/SPLC.2008.25"},{"doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Nowak, W., Peterson, S.: Feature-oriented domain analysis (FODA) feasibility study. Tech. Rep. CMU\/SEI-90-TR-21, CMU (1990)","key":"1_CR15","DOI":"10.21236\/ADA235785"},{"unstructured":"K\u00e4stner, C.: Virtual Separation of Concerns: Toward Preprocessors 2.0. Ph.D. thesis, University of Magdeburg (May 2010)","key":"1_CR16"},{"unstructured":"K\u00e4stner, C., Apel, S., Th\u00fcm, T., Saake, G.: Type checking annotation-based product lines. In: ACM TOSEM (to appear, 2011)","key":"1_CR17"},{"unstructured":"Object Management Group: Common variability language (CVL) RFP. Document ad\/2009-12-03 (2009)","key":"1_CR18"},{"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)","key":"1_CR19","DOI":"10.1145\/1944892.1944907"},{"unstructured":"She, S., Lotufo, R., Berger, T., Wasowski, A., Czarnecki, K.: The variability model of the Linux kernel. In: VaMoS, pp. 45\u201351 (2010)","key":"1_CR20"},{"doi-asserted-by":"crossref","unstructured":"Veldhuizen, T.L.: Parsimony principles for software components and metalanguages. In: GPCE (2007)","key":"1_CR21","DOI":"10.1145\/1289971.1289992"},{"doi-asserted-by":"crossref","unstructured":"Voelter, M., Groher, I.: Product line implementation using aspect-oriented and model-driven software development. In: SPLC (2007)","key":"1_CR22","DOI":"10.1109\/SPLINE.2007.23"}],"container-title":["Lecture Notes in Computer Science","Top Productivity through Software Reuse"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21347-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T15:41:50Z","timestamp":1560267710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21347-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642213465","9783642213472"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21347-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}