{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T13:18:25Z","timestamp":1791292705998,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642194399","type":"print"},{"value":"9783642194405","type":"electronic"}],"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-19440-5_7","type":"book-chapter","created":{"date-parts":[[2011,2,17]],"date-time":"2011-02-17T21:39:32Z","timestamp":1297978772000},"page":"102-122","source":"Crossref","is-referenced-by-count":40,"title":["Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled"],"prefix":"10.1007","author":[{"given":"Kacper","family":"B\u0105k","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Software and Systems Modeling 9(1) (2008)","DOI":"10.1007\/s10270-008-0110-3"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Antkiewicz, M., Czarnecki, K., Stephan, M.: Engineering of framework-specific modeling languages. IEEE TSE 35(6) (2009)","DOI":"10.1109\/TSE.2009.30"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Asikainen, T., M\u00e4nnist\u00f6, T.: Nivel: a metamodelling language with a formal semantics. Software and Systems Modeling 8(4) (2009)","DOI":"10.1007\/s10270-008-0103-2"},{"key":"7_CR4","unstructured":"Asikainen, T., M\u00e4nnist\u00f6, T., Soininen, T.: A unified conceptual foundation for feature modelling. In: SPLC 2006 (2006)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Asikainen, T., M\u00e4nnist\u00f6, T., Soininen, T.: Kumbang: A domain ontology for modelling variability in software product families. Adv. Eng. Inform. 21(1) (2007)","DOI":"10.1016\/j.aei.2006.11.007"},{"key":"7_CR6","unstructured":"Bart Veer, J.D.: The eCos Component Writer\u2019s Guide (2000)"},{"key":"7_CR7","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 35(6) (2010)","DOI":"10.1016\/j.is.2010.01.001"},{"key":"7_CR8","unstructured":"Boucher, Q., Classen, A., Faber, P., Heymans, P.: Introducing TVL, a text-based feature modelling language. In: VaMoS 2010 (2010)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verification of UML\/OCL Class Diagrams Using Constraint Programming. In: MoDeVVA 2008 (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"key":"7_CR10","unstructured":"Cariou, E., Belloir, N., Barbier, F., Djemam, N.: Ocl contracts for the verification of model transformations. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795. Springer, Heidelberg (2009)"},{"key":"7_CR11","unstructured":"Clau\u00df, M., Jena, I.: Modeling variability with UML. In: Dannenberg, R.B. (ed.) GCSE 2001. LNCS, vol.\u00a02186. Springer, Heidelberg (2001)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness ocl constraints. In: GPCE 2006 (2006)","DOI":"10.1145\/1173706.1173738"},{"key":"7_CR13","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":"7_CR14","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Bednasch, T., Unger, P., Eisenecker, U.: Generative programming for embedded software: An industrial experience report. In: Batory, D., Blum, A., Taha, W. (eds.) GPCE 2002. LNCS, vol.\u00a02487. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45821-2_10"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing cardinality-based feature models and their specialization. SPIP 10(1) (2005)","DOI":"10.1002\/spip.213"},{"key":"7_CR16","unstructured":"Czarnecki, K., Kim, C.H.: Cardinality-based feature modeling and constraints: A progress report. In: OOPSLA 2005 Workshop on Software Factories (2005)"},{"key":"7_CR17","unstructured":"Gheyi, R., Massoni, T., Borba, P.: A theory for feature models in Alloy. In: First Alloy Workshop (2006)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Heidenreich, F., Kopcsek, J., Wende, C.: FeatureMapper: Mapping Features to Models. In: ICSE 2008 (2008)","DOI":"10.1145\/1370175.1370199"},{"key":"7_CR19","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-78743-3_3","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Janota","year":"2008","unstructured":"Janota, M., Botterweck, G.: Formal approach to integrating feature and architecture models. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 31\u201345. Springer, Heidelberg (2008)"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Jouault, F., B\u00e9zivin, J.: KM3: a DSL for Metamodel Specification. In: IFIP 2006 (2006)","DOI":"10.1007\/11768869_14"},{"key":"7_CR22","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)","DOI":"10.21236\/ADA235785"},{"key":"7_CR23","unstructured":"Kang, K.C.: FODA: Twenty years of perspective on feature modeling. In: VaMoS 2010 (2010)"},{"key":"7_CR24","unstructured":"K\u00e4stner, C.: Virtual Separation of Concerns: Toward Preprocessors 2.0. Ph.D. thesis, University of Magdeburg (2010)"},{"key":"7_CR25","unstructured":"Lau, S.Q.: Domain Analysis of E-Commerce Systems Using Feature-Based Model Templates. Master\u2019s thesis, University of Waterloo (2006)"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Le Berre, D., Rapicault, P.: Dependency management for the Eclipse ecosystem: Eclipse p2, metadata and resolution. In: IWOCE 2009 (2009)","DOI":"10.1145\/1595800.1595805"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Mendon\u00e7a, M., Branco, M., Cowan, D.: S.P.L.O.T. - Software Product Lines Online Tools. In: OOPSLA 2009 (2009)","DOI":"10.1145\/1639950.1640002"},{"key":"7_CR28","unstructured":"OMG: Meta Object Facility (MOF) Core Specification (2006)"},{"key":"7_CR29","unstructured":"OMG: OMG Unified Modeling Language (2009)"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Shaikh, A., Claris\u00f3, R., Wiil, U.K., Memon, N.: Verification-Driven Slicing of UML\/OCL Models. In: ASE 2010 (2010)","DOI":"10.1145\/1858996.1859038"},{"key":"7_CR31","unstructured":"She, S., Lotufo, R., Berger, T., Wasowski, A., Czarnecki, K.: Variability model of the linux kernel. In: VaMoS 2010 (2010)"},{"key":"7_CR32","unstructured":"Stephan, M., Antkiewicz, M.: Ecore.fmp: A tool for editing and instantiating class models as feature models. Tech. Rep. 2008-08, Univeristy of Waterloo (2008)"},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"Tartler, R., Sincero, J., Lohmann, D.: Dead or Alive: Finding Zombie Features in the Linux Kernel. In: FOSD 2009 (2009)","DOI":"10.1145\/1629716.1629732"},{"key":"7_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Torlak","year":"2007","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 632\u2013647. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19440-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T04:23:26Z","timestamp":1558412606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19440-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642194399","9783642194405"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19440-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}