{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T04:08:44Z","timestamp":1759205324833},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540799795"},{"type":"electronic","value":"9783540799801"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79980-1_4","type":"book-chapter","created":{"date-parts":[[2008,7,28]],"date-time":"2008-07-28T15:55:42Z","timestamp":1217260542000},"page":"36-50","source":"Crossref","is-referenced-by-count":27,"title":["An Algebra for Features and Feature Composition"],"prefix":"10.1007","author":[{"given":"Sven","family":"Apel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Lengauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"M\u00f6ller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"K\u00e4stner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","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, SEI, CMU (1990)","DOI":"10.21236\/ADA235785"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Prehofer, C.: Feature-Oriented Programming: A Fresh Look at Objects. In: Proc. Europ. Conf. Object-Oriented Progr. (1997)","DOI":"10.1007\/BFb0053389"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Batory, D., Sarvela, J., Rauschmayer, A.: Scaling Step-Wise Refinement. IEEE Trans. Softw. Eng.\u00a030(6) (2004)","DOI":"10.1109\/TSE.2004.23"},{"key":"4_CR4","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":"4_CR5","doi-asserted-by":"crossref","unstructured":"Apel, S., Leich, T., Saake, G.: Aspectual Feature Modules. IEEE Trans. Softw. Eng.\u00a034(2) (2008)","DOI":"10.1109\/TSE.2007.70770"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe Composition of Product Lines. In: Proc. Int\u2019l. Conf. Generative Program. and Component Eng. (2007)","DOI":"10.1145\/1289971.1289989"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Liu, J., Batory, D., Lengauer, C.: Feature-Oriented Refactoring of Legacy Applications. In: Proc. Int\u2019l. Conf. Softw. Eng. (2006)","DOI":"10.1145\/1134285.1134303"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Batory, D.: From Implementation to Theory in Product Synthesis (Keynote). In: Proc. Int\u2019l. Symp. Principles of Program. Lang. (2007)","DOI":"10.1145\/1190216.1190238"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Apel, S., Kuhlemann, M.: Granularity in Software Product Lines. In: Proc. Int\u2019l. Conf. Softw. Eng. (2008)","DOI":"10.1145\/1368088.1368131"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Chandy, M., Misra, J.: An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection. ACM Trans. Program. Lang. Syst.\u00a08(3) (1986)","DOI":"10.1145\/5956.5958"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Ossher, H., Harrison, W.: Combination of Inheritance Hierarchies. In: Proc. Int\u2019l. Conf. Object-Oriented Progr., Syst., Lang., and App. (1992)","DOI":"10.1145\/141936.141940"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Bosch, J.: Super-Imposition: A Component Adaptation Technique. Information and Software Technology\u00a041(5) (1999)","DOI":"10.1016\/S0950-5849(99)00007-5"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Bergel, A., Ducasse, S., Nierstrasz, O.: Classbox\/J: Controlling the Scope of Change in Java. In: Proc. Int\u2019l. Conf. Object-Oriented Progr. Syst. Lang. and App. (2005)","DOI":"10.1145\/1094811.1094826"},{"key":"4_CR14","unstructured":"Anfurrutia, F., D\u00edaz, O., Trujillo, S.: On Refining XML Artifacts. In: Proc. Int\u2019l. Conf. Web Eng. (2007)"},{"key":"4_CR15","doi-asserted-by":"crossref","DOI":"10.1142\/3903","volume-title":"Semirings","author":"U. Hebisch","year":"1998","unstructured":"Hebisch, U., Weinert, H.: Semirings. World Scientific, Singapore (1998)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Mezini, M., Ostermann, K.: Variability Management with Feature-Oriented Programming and Aspects. In: Proc. Int\u2019l. Symp. Foundations of Softw. Eng. (2004)","DOI":"10.1145\/1029894.1029915"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Tarr, P., Ossher, H., Harrison, W., Sutton Jr., S.: N Degrees of Separation: Multi-Dimensional Separation of Concerns. In: Proc. Int\u2019l. Conf. Softw. Eng. (1999)","DOI":"10.1145\/302405.302457"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Masuhara, H., Kiczales, G.: Modeling Crosscutting in Aspect-Oriented Mechanisms. In: Proc. Europ. Conf. Object-Oriented Progr. (2003)","DOI":"10.1007\/978-3-540-45070-2_2"},{"key":"4_CR19","volume-title":"Aspect-Oriented Software Development","author":"R. Filman","year":"2005","unstructured":"Filman, R., Friedman, D.: Aspect-Oriented Programming Is Quantification and Obliviousness. In: Aspect-Oriented Software Development. Addison-Wesley, Reading (2005)"},{"key":"4_CR20","unstructured":"Apel, S., Lengauer, C., Batory, D., M\u00f6ller, B., K\u00e4stner, C.: An Algebra for Feature-Oriented Software Development. Technical Report MIP-0706, Department of Informatics and Mathematics, University of Passau (2007)"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Lopez-Herrejon, R., Batory, D., Lengauer, C.: A Disciplined Approach to Aspect Composition. In: Proc. Int\u2019l. Symp. Partial Evaluation and Semantics-Based Program Manipulation (2006)","DOI":"10.1145\/1111542.1111554"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: Feature Algebra. In: Proc. Int\u2019l. Symp. Formal Methods (2006)","DOI":"10.1007\/11813040_21"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: Algebraic View Reconciliation. Technical Report 2007-13, Institute of Computer Science, University of Augsburg (2007)","DOI":"10.1109\/SEFM.2008.36"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Apel, S., K\u00e4stner, C., Lengauer, C.: An Overview of Feature Featherweight Java. Technical Report MIP-0802, Department of Informatics and Mathematics, University of Passau (2008)","DOI":"10.1145\/1449913.1449931"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Hutchins, D.: Eliminating Distinctions of Class: Using Prototypes to Model Virtual Classes. In: Proc. Int\u2019l. Conf. Object-Oriented Progr. Syst. Lang. and App. (2006)","DOI":"10.1145\/1167473.1167475"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Ernst, E., Ostermann, K., Cook, W.: A Virtual Class Calculus. In: Proc. Int\u2019l. Symp. Principles of Program. Lang. (2006)","DOI":"10.1145\/1111037.1111062"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and Mixins. In: Proc. Int\u2019l. Symp. Principles of Program. Lang. (1998)","DOI":"10.1145\/268946.268961"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Findler, R., Flatt, M.: Modular Object-Oriented Programming with Units and Mixins. In: Proc. Int\u2019l. Conf. Functional Program (1998)","DOI":"10.1145\/289423.289432"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Odersky, M., Cremet, V., R\u00f6ckl, C., Zenger, M.: A Nominal Theory of Objects with Dependent Types. In: Proc. Europ. Conf. Object-Oriented Progr. (2003)","DOI":"10.1007\/978-3-540-45070-2_10"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Odersky, M., Zenger, M.: Scalable Component Abstractions. In: Proc. Int\u2019l. Conf. Object-Oriented Progr. Syst. Lang. and App. (2005)","DOI":"10.1145\/1094811.1094815"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"McDirmid, S., Flatt, M., Hsieh, W.: Jiazzi: New-Age Components for Old-Fashioned Java. In: Proc. Int\u2019l. Conf. Object-Oriented Progr. Syst. Lang. and App. (2001)","DOI":"10.1145\/504282.504298"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Apel, S., Leich, T., Rosenm\u00fcller, M., Saake, G.: FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming. In: Proc. Int\u2019l. Conf. Generative Program. and Component Eng. (2005)","DOI":"10.1007\/11561347_10"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Alves, V., Gheyi, R., Massoni, T., Kulesza, U., Borba, P., Lucena, C.: Refactoring Product Lines. In: Proc. Int\u2019l. Conf. Generative Program. and Component Eng. (2006)","DOI":"10.1145\/1173706.1173737"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Apel, S., Lengauer, C.: Superimposition: A Language-Independent Approach to Software Composition. In: Proc. Int\u2019l. Symp. Softw. Comp. (2008)","DOI":"10.1007\/978-3-540-78789-1_2"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79980-1_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:35:29Z","timestamp":1619523329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79980-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540799795","9783540799801"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79980-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}