{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:03:51Z","timestamp":1774602231904,"version":"3.50.1"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319155449","type":"print"},{"value":"9783319155456","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-15545-6_19","type":"book-chapter","created":{"date-parts":[[2015,3,4]],"date-time":"2015-03-04T21:19:15Z","timestamp":1425503955000},"page":"291-311","source":"Crossref","is-referenced-by-count":2,"title":["Structured Document Algebra in Action"],"prefix":"10.1007","author":[{"given":"Don","family":"Batory","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"H\u00f6fner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominik","family":"K\u00f6ppl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"M\u00f6ller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Zelend","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"19_CR1","first-page":"1022","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. SCP\u00a075(11), 1022\u20131047 (2010)","journal-title":"SCP"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Apel, S., Batory, D., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines. Springer (2013)","DOI":"10.1007\/978-3-642-37521-7"},{"issue":"4","key":"19_CR3","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1017\/S096012950000030X","volume":"3","author":"R. Backhouse","year":"1993","unstructured":"Backhouse, R., van der Woude, J.: Demonic operators and monotype factors. Mathematical Structures in Computer Science\u00a03(4), 417\u2013433 (1993)","journal-title":"Mathematical Structures in Computer Science"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-540-71229-9_11","volume-title":"Compiler Construction","author":"D. Batory","year":"2007","unstructured":"Batory, D.: Program refactoring, program synthesis, and model-driven development. In: Adsul, B., Odersky, M. (eds.) CC 2007. LNCS, vol.\u00a04420, pp. 156\u2013171. Springer, Heidelberg (2007)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Batory, D., H\u00f6fner, P., Kim, J.: Feature interactions, products, and composition. In: Generative Programming and Component Engineering (GPCE 2011), pp. 13\u201322. ACM (2011)","DOI":"10.1145\/2047862.2047867"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Batory, D., H\u00f6fner, P., M\u00f6ller, B., Zelend, A.: Features, modularity, and variation points. In: Feature-Oriented Software Development, pp. 9\u201316. ACM (2013)","DOI":"10.1145\/2528265.2528269"},{"key":"19_CR7","unstructured":"Batory, D., Shepherd, C.: Product lines of product lines, Department of Computer Science, University of Texas at Austin (submitted, 2013)"},{"issue":"10","key":"19_CR8","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/1103845.1094826","volume":"40","author":"A. Bergel","year":"2005","unstructured":"Bergel, A., Ducasse, S., Nierstrasz, O.: Classbox\/J: Controlling the scope of change in Java. SIGPLAN Not.\u00a040(10), 177\u2013189 (2005)","journal-title":"SIGPLAN Not."},{"key":"19_CR9","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":"19_CR10","doi-asserted-by":"crossref","unstructured":"Delaware, B., Cook, W.R., Batory, D.S.: Product lines of theorems. In: Lopes, C.V., Fisher, K. (eds.) Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22-27, vol.\u00a010, pp. 595\u2013608. ACM (2011)","DOI":"10.1145\/2048066.2048113"},{"issue":"2","key":"19_CR11","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(94)00271-J","volume":"149","author":"J. Desharnais","year":"1995","unstructured":"Desharnais, J., Belkhiter, N., Sghaier, S.B.M., Tchier, F., Jaoua, A., Mili, A., Zaguia, N.: Embedding a demonic semilattice in a relational algebra. Theor. Comput. Sci.\u00a0149(2), 333\u2013360 (1995)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"19_CR12","doi-asserted-by":"publisher","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, P.: Traits: A mechanism for fine-grained reuse. ACM Trans. Program. Lang. Syst.\u00a028(2), 331\u2013388 (2006)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"19_CR13","unstructured":"Ehm, T.: The Kleene Algebra of Nested Pointer Structures: Theory and Applications. Ph.D. thesis, Fakult\u00e4t f\u00fcr Angewandte Informatik, Universit\u00e4t Augsburg (2003)"},{"key":"19_CR14","unstructured":"Gomaa, H.: Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures. Addison-Wesley (2004)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Heidenreich, F.: Towards systematic ensuring well-formedness of software product lines. In: Feature-Oriented Software Development, ACM (2009)","DOI":"10.1145\/1629716.1629730"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/11813040_21","volume-title":"FM 2006: Formal Methods","author":"P. H\u00f6fner","year":"2006","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: Feature algebra. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 300\u2013315. Springer, Heidelberg (2006)"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (foda) feasibility study. Tech. Rep. CMU\/SEI-90-TR-021, Carnegie Mellon Software Engineering Institute, Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Apel, S., Kuhlemann, M.: Granularity in software product lines. In: Sch\u00e4fer, W., Dwyer, M., Gruhn, V. (eds.) Conference on Software Engineering (ICSE 2008). ACM (2008)","DOI":"10.1145\/1368088.1368131"},{"key":"19_CR19","unstructured":"K\u00e4stner, C.: Virtual separation of concerns: toward preprocessors 2.0. Ph.D. thesis, Otto von Guericke University Magdeburg (2010)"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-04211-9_11","volume-title":"Formal Foundations of Reuse and Domain Engineering","author":"M. Kuhlemann","year":"2009","unstructured":"Kuhlemann, M., Batory, D., Apel, S.: Refactoring feature modules. In: Edwards, S.H., Kulczycki, G. (eds.) ICSR 2009. LNCS, vol.\u00a05791, pp. 106\u2013115. Springer, Heidelberg (2009)"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Liu, J., Batory, D.S., Lengauer, C.: Feature oriented refactoring of legacy applications. In: Osterweil, L.J., Rombach, H.D., Soffa, M.L. (eds.) 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, pp. 112\u2013121. ACM (2006)","DOI":"10.1145\/1134285.1134303"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Lopez-Herrejon, R., Batory, D., Lengauer, C.: A disciplined approach to aspect composition. In: Partial Evaluation and Semantics-based Program Manipulation (PEPM 2006). ACM (2006)","DOI":"10.1145\/1111542.1111554"},{"issue":"1","key":"19_CR23","first-page":"57","volume":"21","author":"B. M\u00f6ller","year":"1993","unstructured":"M\u00f6ller, B.: Towards pointer algebra. SCP\u00a021(1), 57\u201390 (1993)","journal-title":"SCP"},{"key":"19_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-15579-6_6","volume-title":"Software Product Lines: Going Beyond","author":"I. Schaefer","year":"2010","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 77\u201391. Springer, Heidelberg (2010)"},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"Walkingshaw, E., Erwig, M.: A calculus for modeling and implementing variation. In: Generative Programming and Component Engineering, pp. 132\u2013140. ACM (2012)","DOI":"10.1145\/2371401.2371421"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"Wirsing, M.: Algebraic specification. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B), pp. 675\u2013788 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Software, Services, and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15545-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T09:10:50Z","timestamp":1559121050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15545-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155449","9783319155456"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15545-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}