{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T10:41:58Z","timestamp":1756809718880},"reference-count":71,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,2,18]],"date-time":"2010-02-18T00:00:00Z","timestamp":1266451200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1007\/s10515-010-0066-8","type":"journal-article","created":{"date-parts":[[2010,2,17]],"date-time":"2010-02-17T16:06:02Z","timestamp":1266422762000},"page":"251-300","source":"Crossref","is-referenced-by-count":88,"title":["Type safety for feature-oriented product lines"],"prefix":"10.1007","volume":"17","author":[{"given":"Sven","family":"Apel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"K\u00e4stner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Gr\u00f6\u00dflinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Lengauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,2,18]]},"reference":[{"issue":"5","key":"66_CR1","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1145\/937563.937567","volume":"25","author":"D. Ancona","year":"2003","unstructured":"Ancona, D., Lagorio, G., Zucca, E.: Jam\u2014designing a Java extension with mixins. ACM Trans. Program. Lang. Syst. (TOPLAS) 25(5), 641\u2013712 (2003)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"66_CR2","series-title":"LNCS","first-page":"473","volume-title":"Proceedings of the International Conference on Web Engineering (ICWE)","author":"F. Anfurrutia","year":"2007","unstructured":"Anfurrutia, F., D\u00edaz, O., Trujillo, S.: On refining XML artifacts. In: Proceedings of the International Conference on Web Engineering (ICWE). LNCS, vol. 4607, pp. 473\u2013478. Springer, Berlin (2007)"},{"key":"66_CR3","series-title":"LNCS","first-page":"137","volume-title":"Software Engineering and Middleware","author":"S. Apel","year":"2004","unstructured":"Apel, S., B\u00f6hm, K.: Towards the development of ubiquitous middleware product lines. In: Software Engineering and Middleware. LNCS, vol. 3437, pp. 137\u2013153. Springer, Berlin (2004)"},{"key":"66_CR4","unstructured":"Apel, S., Hutchins, D.: An overview of the gDeep calculus. Technical Report MIP-0712, Department of Informatics and Mathematics, University of Passau (2007)"},{"key":"66_CR5","doi-asserted-by":"crossref","unstructured":"Apel, S., Hutchins, D.: A calculus for uniform feature composition. ACM Trans. Program. Lang. Syst. (TOPLAS) (2010)","DOI":"10.1145\/1745312.1745316"},{"issue":"5","key":"66_CR6","doi-asserted-by":"crossref","first-page":"49","DOI":"10.5381\/jot.2009.8.5.c5","volume":"8","author":"S. Apel","year":"2009","unstructured":"Apel, S., K\u00e4stner, C.: An overview of feature-oriented software development. J. Object Technol. (JOT) 8(5), 49\u201384 (2009)","journal-title":"J. Object Technol. (JOT)"},{"key":"66_CR7","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/11561347_10","volume-title":"Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE)","author":"S. Apel","year":"2005","unstructured":"Apel, S., Leich, T., Rosenm\u00fcller, M., Saake, G.: FeatureC++: on the symbiosis of feature-oriented and aspect-oriented programming. In: Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE). LNCS, vol. 3676, pp. 125\u2013140. Springer, Berlin (2005)"},{"key":"66_CR8","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/1449913.1449931","volume-title":"Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE)","author":"S. Apel","year":"2008","unstructured":"Apel, S., K\u00e4stner, C., Lengauer, C.: Feature featherweight Java: a calculus for feature-oriented programming and stepwise refinement. In: Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE), pp. 101\u2013112. ACM Press, New York (2008a)"},{"issue":"2","key":"66_CR9","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1109\/TSE.2007.70770","volume":"34","author":"S. Apel","year":"2008","unstructured":"Apel, S., Leich, T., Saake, G.: Aspectual feature modules. IEEE Trans. Softw. Eng. (TSE) 34(2), 162\u2013180 (2008b)","journal-title":"IEEE Trans. Softw. Eng. (TSE)"},{"key":"66_CR10","series-title":"LNCS","first-page":"4","volume-title":"Proceedings of the International Conference on Model Transformation (ICMT)","author":"S. Apel","year":"2009","unstructured":"Apel, S., Janda, F., Trujillo, S., K\u00e4stner, C.: Model superimposition in software product lines. In: Proceedings of the International Conference on Model Transformation (ICMT). LNCS, vol. 5563, pp. 4\u201319. Springer, Berlin (2009a)"},{"key":"66_CR11","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/978-3-642-02655-3_3","volume-title":"Proceedings of the International Conference on Software Composition (SC)","author":"S. Apel","year":"2009","unstructured":"Apel, S., K\u00e4stner, C., Gr\u00f6\u00dflinger, A., Lengauer, C.: Feature (de)composition in functional programming. In: Proceedings of the International Conference on Software Composition (SC). LNCS, vol. 5634, pp. 9\u201326. Springer, Berlin (2009b)"},{"key":"66_CR12","first-page":"221","volume-title":"Proceedings of the International Conference on Software Engineering (ICSE)","author":"S. Apel","year":"2009","unstructured":"Apel, S., K\u00e4stner, C., Lengauer, C.: FeatureHouse: language-independent, automated software composition. In: Proceedings of the International Conference on Software Engineering (ICSE), pp. 221\u2013231. IEEE Comput. Soc., Los Alamitos (2009c)"},{"key":"66_CR13","first-page":"83","volume-title":"Proceedings of the International Workshop on Source Code Analysis and Manipulation (SCAM)","author":"L. Aversano","year":"2002","unstructured":"Aversano, L., Di Penta, M., Baxter, I.: Handling preprocessor-conditioned declarations. In: Proceedings of the International Workshop on Source Code Analysis and Manipulation (SCAM), p. 83. IEEE Comput. Soc., Los Alamitos (2002)"},{"key":"66_CR14","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Proceedings of the International Software Product Line Conference (SPLC)","author":"D. Batory","year":"2005","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Proceedings of the International Software Product Line Conference (SPLC). LNCS, vol. 3714, pp. 7\u201320. Springer, Berlin (2005)"},{"issue":"6","key":"66_CR15","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D. Batory","year":"2004","unstructured":"Batory, D., Sarvela, J., Rauschmayer, A.: Scaling step-wise refinement. IEEE Trans. Softw. Eng. (TSE) 30(6), 355\u2013371 (2004)","journal-title":"IEEE Trans. Softw. Eng. (TSE)"},{"key":"66_CR16","first-page":"177","volume-title":"Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"A. Bergel","year":"2005","unstructured":"Bergel, A., Ducasse, S., Nierstrasz, O.: Classbox\/J: controlling the scope of change in Java. In: Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 177\u2013189. ACM Press, New York (2005)"},{"key":"66_CR17","series-title":"Texts in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive Theorem Proving and Program Development\u2014Coq\u2019Art: The Calculus of Inductive Constructions","author":"Y. Bertot","year":"2004","unstructured":"Bertot, Y., Casteran, P.: Interactive Theorem Proving and Program Development\u2014Coq\u2019Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin (2004)"},{"key":"66_CR18","series-title":"LNCS","first-page":"43","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP)","author":"V. Bono","year":"1999","unstructured":"Bono, V., Patel, A., Shmatikov, V.: A core calculus of classes and mixins. In: Proceedings of the European Conference on Object-Oriented Programming (ECOOP). LNCS, vol. 1628, pp. 43\u201366. Springer, Berlin (1999)"},{"key":"66_CR19","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1145\/97945.97982","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP) and International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)","author":"G. Bracha","year":"1990","unstructured":"Bracha, G., Cook, W.: Mixin-based inheritance. In: Proceedings of the European Conference on Object-Oriented Programming (ECOOP) and International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 303\u2013311. ACM Press, New York (1990)"},{"key":"66_CR20","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/1218563.1218578","volume-title":"Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD)","author":"D. Clarke","year":"2007","unstructured":"Clarke, D., Drossopoulou, S., Noble, J., Wrigstad, T.: Tribe: a simple virtual class calculus. In: Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD), pp. 121\u2013134. ACM Press, New York (2007)"},{"key":"66_CR21","volume-title":"Software Product Lines: Practices and Patterns","author":"P. Clements","year":"2002","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Reading (2002)"},{"issue":"3","key":"66_CR22","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1145\/1133651.1133655","volume":"28","author":"C. Clifton","year":"2006","unstructured":"Clifton, C., Millstein, T., Leavens, G., Chambers, C.: MultiJava: design rationale, compiler implementation, and applications. ACM Trans. Program. Lang. Syst. (TOPLAS) 28(3), 517\u2013575 (2006)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"66_CR23","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)"},{"key":"66_CR24","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/1173706.1173738","volume-title":"Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE)","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In: Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE), pp. 211\u2013220. ACM Press, New York (2006)"},{"key":"66_CR25","first-page":"243","volume-title":"Proceedings of the International Symposium on Foundations of Software Engineering (FSE)","author":"B. Delaware","year":"2009","unstructured":"Delaware, B., Cook, W., Batory, D.: Fitting the pieces together: a machine-checked model of safe composition. In: Proceedings of the International Symposium on Foundations of Software Engineering (FSE), pp. 243\u2013252. ACM Press, New York (2009)"},{"issue":"2","key":"66_CR26","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1145\/1119479.1119483","volume":"28","author":"S. Ducasse","year":"2006","unstructured":"Ducasse, S., Nierstrasz, O., Sch\u00e4rli, N., Wuyts, R., Black, A.: Traits: a mechanism for fine-grained reuse. ACM Trans. Program. Lang. Syst. (TOPLAS) 28(2), 331\u2013388 (2006)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"66_CR27","first-page":"270","volume-title":"Proceedings of the International Symposium on Principles of Programming Languages (POPL)","author":"E. Ernst","year":"2006","unstructured":"Ernst, E., Ostermann, K., Cook, W.: A virtual class calculus. In: Proceedings of the International Symposium on Principles of Programming Languages (POPL), pp. 270\u2013282. ACM Press, New York (2006)"},{"key":"66_CR28","first-page":"171","volume-title":"Proceedings of the International Symposium on Principles of Programming Languages (POPL)","author":"M. Flatt","year":"1998","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: Proceedings of the International Symposium on Principles of Programming Languages (POPL), pp. 171\u2013183. ACM Press, New York (1998)"},{"key":"66_CR29","first-page":"133","volume-title":"Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"V. Gasiunas","year":"2007","unstructured":"Gasiunas, V., Mezini, M., Ostermann, K.: Dependent classes. In: Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 133\u2013152. ACM Press, New York (2007)"},{"key":"66_CR30","series-title":"The Java Series","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. The Java Series. Addison-Wesley, Reading (2005)","edition":"3"},{"issue":"3","key":"66_CR31","doi-asserted-by":"crossref","first-page":"125","DOI":"10.5381\/jot.2008.7.3.a4","volume":"7","author":"R. Hirschfeld","year":"2008","unstructured":"Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented programming. J. Object Technol. (JOT) 7(3), 125\u2013151 (2008)","journal-title":"J. Object Technol. (JOT)"},{"key":"66_CR32","first-page":"1","volume-title":"Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"D. Hutchins","year":"2006","unstructured":"Hutchins, D.: Eliminating distinctions of class: using prototypes to model virtual classes. In: Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 1\u201319. ACM Press, New York (2006)"},{"key":"66_CR33","unstructured":"Hutchins, D.: Pure subtype systems: a type theory for extensible software. PhD thesis, School of Informatics, University of Edinburgh (2009)"},{"issue":"3","key":"66_CR34","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. (TOPLAS) 23(3), 396\u2013450 (2001)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"66_CR35","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/11575467_12","volume-title":"Proceedings of the Asian Symposium on Programming Languages and Systems (APLAS)","author":"A. Igarashi","year":"2005","unstructured":"Igarashi, A., Saito, C., Viroli, M.: Lightweight family polymorphism. In: Proceedings of the Asian Symposium on Programming Languages and Systems (APLAS). LNCS, vol. 3780, pp. 161\u2013177. Springer, Berlin (2005)"},{"key":"66_CR36","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1007\/978-3-540-30477-7_27","volume-title":"Proceedings of the Asian Symposium on Programming Languages and Systems (APLAS)","author":"T. Kamina","year":"2004","unstructured":"Kamina, T., Tamai, T.: McJava\u2014a design and implementation of Java with mixin-types. In: Proceedings of the Asian Symposium on Programming Languages and Systems (APLAS). LNCS, vol. 3302, pp.\u00a0398\u2013414. Springer, Berlin (2004)"},{"key":"66_CR37","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU\/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"key":"66_CR38","unstructured":"K\u00e4stner, C.: Virtual separation of concerns: rehabilitating the preprocessor. PhD thesis, School of Computer Science, University of Magdeburg (2010). Under review"},{"key":"66_CR39","first-page":"258","volume-title":"Proceedings of the International Conference on Automated Software Engineering (ASE)","author":"C. K\u00e4stner","year":"2008","unstructured":"K\u00e4stner, C., Apel, S.: Type-checking software product lines\u2014a formal approach. In: Proceedings of the International Conference on Automated Software Engineering (ASE), pp. 258\u2013267. IEEE Comput. Soc., Los Alamitos (2008)"},{"key":"66_CR40","first-page":"222","volume-title":"Proceedings of the International Software Product Line Conference (SPLC)","author":"C. K\u00e4stner","year":"2007","unstructured":"K\u00e4stner, C., Apel, S., Batory, D.: A case study implementing features using AspectJ. In: Proceedings of the International Software Product Line Conference (SPLC), pp. 222\u2013232. IEEE Comput. Soc., Los Alamitos (2007)"},{"key":"66_CR41","first-page":"311","volume-title":"Proceedings of the International Conference on Software Engineering (ICSE)","author":"C. K\u00e4stner","year":"2008","unstructured":"K\u00e4stner, C., Apel, S., Kuhlemann, M.: Granularity in software product lines. In: Proceedings of the International Conference on Software Engineering (ICSE), pp. 311\u2013320. ACM Press, New York (2008)"},{"key":"66_CR42","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/1621607.1621632","volume-title":"Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE)","author":"C. K\u00e4stner","year":"2009","unstructured":"K\u00e4stner, C., Apel, S., Kuhlemann, M.: A model of refactoring physically and virtually separated features. In: Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE), pp. 157\u2013166. ACM Press, New York (2009a)"},{"key":"66_CR43","series-title":"LNBI","first-page":"174","volume-title":"Proceedings of the International Conference on Objects, Models, Components, Patterns (TOOLS EUROPE)","author":"C. K\u00e4stner","year":"2009","unstructured":"K\u00e4stner, C., Apel, S., Trujillo, S., Kuhlemann, M., Batory, D.: Guaranteeing syntactic correctness for all product line variants: a language-independent approach. In: Proceedings of the International Conference on Objects, Models, Components, Patterns (TOOLS EUROPE). LNBI, vol. 33, pp. 174\u2013194. Springer, Berlin (2009b)"},{"key":"66_CR44","series-title":"LNCS","first-page":"244","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP)","author":"G. Lagorio","year":"2009","unstructured":"Lagorio, G., Servetto, M., Zucca, E.: Featherweight Jigsaw\u2014a minimal core calculus for modular composition of classes. In: Proceedings of the European Conference on Object-Oriented Programming (ECOOP). LNCS, vol. 5653, pp. 244\u2013268. Springer, Berlin (2009)"},{"issue":"2","key":"66_CR45","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1330017.1330022","volume":"30","author":"L. Liquori","year":"2008","unstructured":"Liquori, L., Spiwack, A.: FeatherTrait: a modest extension of featherweight Java. ACM Trans. Program. Lang. Syst. (TOPLAS) 30(2), 1\u201332 (2008)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"66_CR46","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/3-540-44800-4_2","volume-title":"Proceedings of the International Conference on Generative and Component-Based Software Engineering (GCSE)","author":"R. Lopez-Herrejon","year":"2001","unstructured":"Lopez-Herrejon, R., Batory, D.: A standard problem for evaluating product-line methodologies. In: Proceedings of the International Conference on Generative and Component-Based Software Engineering (GCSE). LNCS, vol. 2186, pp. 10\u201324. Springer, Berlin (2001)"},{"key":"66_CR47","series-title":"LNCS","first-page":"169","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP)","author":"R. Lopez-Herrejon","year":"2005","unstructured":"Lopez-Herrejon, R., Batory, D., Cook, W.: Evaluating support for features in advanced modularization technologies. In: Proceedings of the European Conference on Object-Oriented Programming (ECOOP). LNCS, vol. 3586, pp. 169\u2013194. Springer, Berlin (2005)"},{"key":"66_CR48","first-page":"68","volume-title":"Proceedings of the International Symposium Partial Evaluation and Semantics-Based Program Manipulation (PEPM)","author":"R. Lopez-Herrejon","year":"2006","unstructured":"Lopez-Herrejon, R., Batory, D., Lengauer, C.: A disciplined approach to aspect composition. In: Proceedings of the International Symposium Partial Evaluation and Semantics-Based Program Manipulation (PEPM), pp. 68\u201377. ACM Press, New York (2006)"},{"key":"66_CR49","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1145\/74877.74919","volume-title":"Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"O. Madsen","year":"1989","unstructured":"Madsen, O., Moller-Pedersen, B.: Virtual classes: a powerful mechanism in object-oriented programming. In: Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 397\u2013406. ACM Press, New York (1989)"},{"key":"66_CR50","series-title":"LNCS","first-page":"2","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP)","author":"H. Masuhara","year":"2003","unstructured":"Masuhara, H., Kiczales, G.: Modeling crosscutting in aspect-oriented mechanisms. In: Proceedings of the European Conference on Object-Oriented Programming (ECOOP). LNCS, vol. 2743, pp. 2\u201328. Springer, Berlin (2003)"},{"key":"66_CR51","unstructured":"Mendonca, M., Wasowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: Proceedings of the International Software Product Line Conference (SPLC), pp.\u00a0231\u2013240. Software Engineering Institute, Carnegie Mellon University (2009)"},{"key":"66_CR52","first-page":"127","volume-title":"Proceedings of the International Symposium on Foundations of Software Engineering (FSE)","author":"M. Mezini","year":"2004","unstructured":"Mezini, M., Ostermann, K.: Variability management with feature-oriented programming and aspects. In: Proceedings of the International Symposium on Foundations of Software Engineering (FSE), pp. 127\u2013136. ACM Press, New York (2004)"},{"key":"66_CR53","first-page":"275","volume-title":"Proceedings of the International Conference on Software Engineering (ICSE)","author":"G. Murphy","year":"2001","unstructured":"Murphy, G., Lai, A., Walker, R., Robillard, M.: Separating features in source code: an exploratory study. In: Proceedings of the International Conference on Software Engineering (ICSE), pp. 275\u2013284. IEEE Comput. Soc., Los Alamitos (2001)"},{"key":"66_CR54","first-page":"99","volume-title":"Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"N. Nystrom","year":"2004","unstructured":"Nystrom, N., Chong, S., Myers, A.: Scalable extensibility via nested inheritance. In: Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 99\u2013115. ACM Press, New York (2004)"},{"key":"66_CR55","series-title":"LNCS","first-page":"201","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP)","author":"M. Odersky","year":"2003","unstructured":"Odersky, M., Cremet, V., R\u00f6ckl, C., Zenger, M.: A nominal theory of objects with dependent types. In: Proceedings of the European Conference on Object-Oriented Programming (ECOOP). LNCS, vol.\u00a02743, pp. 201\u2013224. Springer, Berlin (2003)"},{"key":"66_CR56","first-page":"41","volume-title":"Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"M. Odersky","year":"2005","unstructured":"Odersky, M., Zenger, M.: Scalable component abstractions. In: Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp.\u00a041\u201357. ACM Press, New York (2005)"},{"key":"66_CR57","series-title":"LNCS","first-page":"89","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP)","author":"K. Ostermann","year":"2002","unstructured":"Ostermann, K.: Dynamically composable collaborations with delegation layers. In: Proceedings of the European Conference on Object-Oriented Programming (ECOOP). LNCS, vol. 2374, pp. 89\u2013110. Springer, Berlin (2002)"},{"key":"66_CR58","volume-title":"Types and Programming Languages","author":"B. Pierce","year":"2002","unstructured":"Pierce, B.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"66_CR59","series-title":"LNCS","first-page":"419","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP)","author":"C. Prehofer","year":"1997","unstructured":"Prehofer, C.: Feature-oriented programming: a fresh look at objects. In: Proceedings of the European Conference on Object-Oriented Programming (ECOOP). LNCS, vol. 1241, pp. 419\u2013443. Springer, Berlin (1997)"},{"issue":"6","key":"66_CR60","first-page":"27","volume":"5","author":"T. Reenskaug","year":"1992","unstructured":"Reenskaug, T., Andersen, E., Berre, A., Hurlen, A., Landmark, A., Lehne, O., Nordhagen, E., Ness-Ulseth, E., Oftedal, G., Skaar, A., Stenslet, P.: OORASS: seamless support for the creation and maintenance of object-oriented systems. J. Object-Oriented Program. (JOOP) 5(6), 27\u201341 (1992)","journal-title":"J. Object-Oriented Program. (JOOP)"},{"key":"66_CR61","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/1449913.1449917","volume-title":"Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE)","author":"M. Rosenm\u00fcller","year":"2008","unstructured":"Rosenm\u00fcller, M., Siegmund, N., Saake, G., Apel, S.: Code generation to support static and dynamic composition of software product lines. In: Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE), pp. 3\u201312. ACM Press, New York (2008a)"},{"key":"66_CR62","first-page":"1","volume-title":"Proceedings of the EDBT Workshop on Software Engineering for Tailor-made Data Management (SETMDM)","author":"M. Rosenm\u00fcller","year":"2008","unstructured":"Rosenm\u00fcller, M., Siegmund, N., Schirmeier, H., Sincero, J., Apel, S., Leich, T., Spinczyk, O., Saake, G.: FAME-DBMS: tailor-made data management solutions for embedded systems. In: Proceedings of the EDBT Workshop on Software Engineering for Tailor-made Data Management (SETMDM), pp. 1\u20136. ACM Press, New York (2008b)"},{"issue":"12","key":"66_CR63","doi-asserted-by":"crossref","first-page":"1493","DOI":"10.1016\/j.datak.2009.07.013","volume":"68","author":"M. Rosenm\u00fcller","year":"2009","unstructured":"Rosenm\u00fcller, M., Apel, S., Leich, T., Saake, G.: Tailor-made data management for embedded systems: a case study on Berkeley DB. Data Knowl. Eng. (DKE) 68(12), 1493\u20131512 (2009a)","journal-title":"Data Knowl. Eng. (DKE)"},{"key":"66_CR64","unstructured":"Rosenm\u00fcller, M., K\u00e4stner, C., Siegmund, N., Sunkle, S., Apel, S., Leich, T., Saake, G.: SQL \u00e1 la Carte\u2014toward tailor-made data management. In: Datenbanksysteme in Business, Technologie und Web\u2014Fachtagung des GI-Fachbereichs Datenbanken und Informationssysteme. GI-Edition\u2014LNI, vol.\u00a0P-144, pp.\u00a0117\u2013136. Gesellschaft f\u00fcr Informatik (2009b)"},{"key":"66_CR65","unstructured":"Siegmund, N., K\u00e4stner, C., Rosenm\u00fcller, M., Heidenreich, F., Apel, S., Saake, G.: Bridging the gap between variability in client application and database schema. In: Datenbanksysteme in Business, Technologie und Web\u2014Fachtagung des GI-Fachbereichs Datenbanken und Informationssysteme. GI-Edition\u2014LNI, vol. P-144, pp.\u00a0297\u2013306. Gesellschaft f\u00fcr Informatik (2009)"},{"issue":"2","key":"66_CR66","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/505145.505148","volume":"11","author":"Y. Smaragdakis","year":"2002","unstructured":"Smaragdakis, Y., Batory, D.: Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. ACM Trans. Softw. Eng. Methodol. (TOSEM) 11(2), 215\u2013255 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"66_CR67","first-page":"499","volume-title":"Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"R. Strni\u0161a","year":"2007","unstructured":"Strni\u0161a, R., Sewell, P., Parkinson, M.: The Java module system: core design and semantic definition. In: Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 499\u2013514. ACM Press, New York (2007)"},{"key":"66_CR68","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/302405.302457","volume-title":"Proceedings of the International Conference on Software Engineering (ICSE)","author":"P. Tarr","year":"1999","unstructured":"Tarr, P., Ossher, H., Harrison, W., Sutton, S.\u00a0Jr.: N degrees of separation: multi-dimensional separation of concerns. In: Proceedings of the International Conference on Software Engineering (ICSE), pp.\u00a0107\u2013119. IEEE Comput. Soc., Los Alamitos (1999)"},{"key":"66_CR69","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/1289971.1289989","volume-title":"Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE)","author":"S. Thaker","year":"2007","unstructured":"Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe composition of product lines. In: Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE), pp. 95\u2013104. ACM Press, New York (2007)"},{"key":"66_CR70","first-page":"359","volume-title":"Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"M. VanHilst","year":"1996","unstructured":"VanHilst, M., Notkin, D.: Using role components in implement collaboration-based designs. In: Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 359\u2013369. ACM Press, New York (1996)"},{"issue":"1","key":"66_CR71","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Inf. Comput. 115(1), 38\u201394 (1994)","journal-title":"Inf. Comput."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-010-0066-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-010-0066-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-010-0066-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,23]],"date-time":"2021-10-23T02:08:21Z","timestamp":1634954901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-010-0066-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,18]]},"references-count":71,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["66"],"URL":"https:\/\/doi.org\/10.1007\/s10515-010-0066-8","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,18]]}}}