{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T04:13:51Z","timestamp":1744172031566,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642333132"},{"type":"electronic","value":"9783642333149"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-33314-9_3","type":"book-chapter","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T04:05:18Z","timestamp":1347422718000},"page":"33-49","source":"Crossref","is-referenced-by-count":2,"title":["Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming"],"prefix":"10.1007","author":[{"given":"Peter","family":"H\u00f6fner","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"M\u00f6ller","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Zelend","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1090\/S0002-9939-1969-0237575-4","volume":"21","author":"P.J. Allen","year":"1969","unstructured":"Allen, P.J.: A fundamental theorem of homomorphisms for semirings. Proceedings of the American Mathematical Society\u00a021(2), 412\u2013416 (1969)","journal-title":"Proceedings of the American Mathematical Society"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Apel, S., K\u00e4stner, C., Lengauer, C.: FeatureHouse: Language-independent, automated software composition. In: 31st International Conerence on Software Engineering (ICSE), pp. 221\u2013231. IEEE Press (2009)","DOI":"10.1109\/ICSE.2009.5070523"},{"key":"3_CR3","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: Meseguer, J., Ro\u015fu, G. (eds.) AMAST 2008. LNCS, vol.\u00a05140, pp. 36\u201350. Springer, Heidelberg (2008)"},{"issue":"11","key":"3_CR4","doi-asserted-by":"publisher","first-page":"1022","DOI":"10.1016\/j.scico.2010.02.001","volume":"75","author":"S. Apel","year":"2010","unstructured":"Apel, S., Lengauer, C., M\u00f6ller, B., K\u00e4stner, C.: An algebraic foundation for automatic feature-based program synthesis. Sc. Comp. Prog.\u00a075(11), 1022\u20131047 (2010)","journal-title":"Sc. Comp. Prog."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Batory, D.: Feature-oriented programming and the AHEAD tool suite. In: ICSE 2004: 26th International Conference on Software Engineering, pp. 702\u2013703. IEEE Press (2004)","DOI":"10.1109\/ICSE.2004.1317496"},{"issue":"1","key":"3_CR6","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1145\/1190215.1190238","volume":"42","author":"D. Batory","year":"2007","unstructured":"Batory, D.: From implementation to theory in product synthesis. ACM SIGPLAN Notices\u00a042(1), 135\u2013136 (2007)","journal-title":"ACM SIGPLAN Notices"},{"issue":"4","key":"3_CR7","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1145\/136586.136587","volume":"1","author":"D. Batory","year":"1992","unstructured":"Batory, D., O\u2019Malley, S.: The design and implementation of hierarchical software systems with reusable components. ACM Transactions Software Engineering and Methodology\u00a01(4), 355\u2013398 (1992)","journal-title":"ACM Transactions Software Engineering and Methodology"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. In: ICSE 2003: 25th International Conference on Software Engineering, pp. 187\u2013197. Proceedings of the IEEE (2003)","DOI":"10.1109\/ICSE.2003.1201199"},{"issue":"5","key":"3_CR9","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/167049.167078","volume":"18","author":"D. Batory","year":"1993","unstructured":"Batory, D., Singhal, V., Sirkin, M., Thomas, J.: Scalable software libraries. ACM SIGSOFT Software Engineering Notes\u00a018(5), 191\u2013199 (1993)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Batory, D., H\u00f6fner, P., Kim, J.: Feature interactions, products, and composition. In: 10th ACM International Conference on Generative Programming and Component Engineering (GPCE 2011), pp. 13\u201322. ACM Press (2011)","DOI":"10.1145\/2047862.2047867"},{"issue":"5","key":"3_CR11","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1109\/52.311067","volume":"11","author":"D. Batory","year":"1994","unstructured":"Batory, D., Singhal, V., Thomas, J., Dasari, S., Geraci, B., Sirkin, M.: The GenVoca model of software-system generators. IEEE Software\u00a011(5), 89\u201394 (1994)","journal-title":"IEEE Software"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"420","DOI":"10.2307\/1968930","volume":"40","author":"B. Bernstein","year":"1939","unstructured":"Bernstein, B.: Sets of postulates for boolean groups. Annals of Mathematics\u00a040(2), 420\u2013422 (1939)","journal-title":"Annals of Mathematics"},{"key":"3_CR13","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"},{"key":"3_CR14","unstructured":"Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley (2000)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"H\u00f6fner, P., M\u00f6ller, B., Zelend, A.: Foundations of coloring algebra with consequences for feature-oriented programming. Tech. Rep. 2012-06, Institut f\u00fcr Informatik der Universit\u00e4t Augsburg (2012)","DOI":"10.1007\/978-3-642-33314-9_3"},{"issue":"2","key":"3_CR16","first-page":"22","volume":"1","author":"R. Johnson","year":"1988","unstructured":"Johnson, R., Foote, B.: Designing reusable classes. Journal of Object Oriented Programming\u00a01(2), 22\u201335 (1988)","journal-title":"Journal of Object Oriented Programming"},{"key":"3_CR17","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-90-TR-21, Carnegie-Mellon University Software Engineering Institute (1990)","DOI":"10.21236\/ADA235785"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Kargapolov, M., Merzliakov, I.: Fundamentals of the Theory of Groups. Graduate texts in mathematics. Springer (1979)","DOI":"10.1007\/978-1-4612-9964-6"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Apel, S., Batory, D.: A case study implementing features using AspectJ. In: Software Product Lines, 11th International Conference (SPLC), pp. 223\u2013232. IEEE Computer Society (2007)","DOI":"10.1109\/SPLINE.2007.12"},{"key":"3_CR20","unstructured":"K\u00e4stner, C.: Virtual Separation of Concerns: Toward Preprocessors 2.0. Ph.D. thesis, University of Magdeburg (2010)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/3-540-44800-4_2","volume-title":"Generative and Component-Based Software Engineering","author":"R.E. Lopez-Herrejon","year":"2001","unstructured":"Lopez-Herrejon, R.E., Batory, D.: A Standard Problem for Evaluating Product-Line Methodologies. In: Bosch, J. (ed.) GCSE 2001. LNCS, vol.\u00a02186, pp. 10\u201324. Springer, Heidelberg (2001)"},{"key":"3_CR22","unstructured":"McCune, W.W.: Prover9 and Mace4, http:\/\/www.cs.unm.edu\/~mccune\/prover9 (accessed July 12, 2012)"},{"key":"3_CR23","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/978-3-642-21759-3_34","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"I. Reinhartz-Berger","year":"2011","unstructured":"Reinhartz-Berger, I., Tsoury, A.: Experimenting with the Comprehension of Feature-Oriented and UML-Based Core Assets. In: Halpin, T., Nurcan, S., Krogstie, J., Soffer, P., Proper, E., Schmidt, R., Bider, I. (eds.) BPMDS 2011 and EMMSAD 2011. LNBIP, vol.\u00a081, pp. 468\u2013482. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33314-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T08:57:43Z","timestamp":1744102663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33314-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333132","9783642333149"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33314-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}