{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T11:54:35Z","timestamp":1770292475509,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642025709","type":"print"},{"value":"9783642025716","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02571-6_11","type":"book-chapter","created":{"date-parts":[[2009,6,26]],"date-time":"2009-06-26T14:15:30Z","timestamp":1246025730000},"page":"175-194","source":"Crossref","is-referenced-by-count":42,"title":["Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach"],"prefix":"10.1007","author":[{"given":"Christian","family":"K\u00e4stner","sequence":"first","affiliation":[]},{"given":"Sven","family":"Apel","sequence":"additional","affiliation":[]},{"given":"Salvador","family":"Trujillo","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Kuhlemann","sequence":"additional","affiliation":[]},{"given":"Don","family":"Batory","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Apel, S., K\u00e4stner, C., Lengauer, C.: FeatureHouse: Language-Independent, Automatic Software Composition. In: Proc. Int\u2019l Conf. on Software Engineering (ICSE) (2009)","DOI":"10.1109\/ICSE.2009.5070523"},{"issue":"2","key":"11_CR2","doi-asserted-by":"publisher","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.\u00a034(2), 162\u2013180 (2008)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"11_CR3","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D. Batory","year":"2004","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling Step-Wise Refinement. IEEE Trans. Softw. Eng.\u00a030(6), 355\u2013371 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"11_CR4","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/j.scico.2003.04.005","volume":"53","author":"D. Beuche","year":"2004","unstructured":"Beuche, D., Papajewski, H., Schr\u00f6der-Preikschat, W.: Variability Management with Feature Models. Sci. Comput. Program.\u00a053(3), 333\u2013352 (2004)","journal-title":"Sci. Comput. Program."},{"key":"11_CR5","unstructured":"Bray, T., et al.: Extensible Markup Language (XML) 1.1. 2nd edn. W3C Recommendation, W3C (2006)"},{"issue":"4","key":"11_CR6","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MS.2002.1020283","volume":"19","author":"P. Clements","year":"2002","unstructured":"Clements, P., Krueger, C.: Point\/Counterpoint: Being Proactive Pays Off\/Eliminating the Adoption Barrier. IEEE Software\u00a019(4), 28\u201331 (2002)","journal-title":"IEEE Software"},{"key":"11_CR7","volume-title":"Software Product Lines: Practices and Patterns","author":"P. Clements","year":"2001","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Reading (2001)"},{"key":"11_CR8","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. ACM Press, New York (2000)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints. In: Proc. Int\u2019l Conf. Generative Programming and Component Eng. (GPCE), pp. 211\u2013220 (2006)","DOI":"10.1145\/1173706.1173738"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Delaware, B., Cook, W., Batory, D.: A Machine-Checked Model of Safe Composition. In: Proc. AOSD Workshop on Foundations of Aspect-Oriented Languages (FOAL), pp. 31\u201335 (2009)","DOI":"10.1145\/1509837.1509846"},{"key":"11_CR11","unstructured":"D\u00f6rre, J.: Feature-Oriented Composition of XML Artifacts. Master\u2019s thesis, University of Passau, Germany (2009)"},{"key":"11_CR12","unstructured":"Fuhrer, R., Keller, M., Kie\u017cun, A.: Advanced Refactoring in the Eclipse JDT: Past, Present, and Future. In: Proc. ECOOP Workshop on Refactoring Tools (WRT), pp. 31\u201332 (2007)"},{"key":"11_CR13","unstructured":"Garrido, A.: Program Refactoring in the Presence of Preprocessor Directives. PhD thesis, University of Illinois at Urbana-Champaign (2005)"},{"key":"11_CR14","series-title":"The JavaTM Series","volume-title":"JavaTMLanguage Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: JavaTMLanguage Specification, 3rd edn. The JavaTM Series. Addison-Wesley Professional, Reading (2005)","edition":"3"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Grechanik, M., Batory, D., Perry, D.: Design of Large-Scale Polylingual Systems. In: Proc. Int\u2019l Conf. on Software Engineering (ICSE), pp. 357\u2013366 (2004)","DOI":"10.1109\/ICSE.2004.1317458"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/11561347_21","volume-title":"Generative Programming and Component Engineering","author":"S. Huang","year":"2005","unstructured":"Huang, S., Zook, D., Smaragdakis, Y.: Statically Safe Program Generation with SafeGen. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol.\u00a03676, pp. 309\u2013326. Springer, Heidelberg (2005)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Huang, S.S., Smaragdakis, Y.: Expressive and Safe Static Reflection with MorphJ. In: Proc. Conf. Programming Language Design and Implementation (PLDI), pp. 79\u201389 (2008)","DOI":"10.1145\/1379022.1375592"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Jarzabek, S., et al.: XVCL: XML-based Variant Configuration Language. In: Proc. Int\u2019l Conf. on Software Engineering (ICSE), pp. 810\u2013811 (2003)","DOI":"10.1109\/ICSE.2003.1201298"},{"issue":"2","key":"11_CR19","first-page":"22","volume":"1","author":"R.E. Johnson","year":"1988","unstructured":"Johnson, R.E., Foote, B.: Designing Reusable Classes. Journal of Object-Oriented Programming\u00a01(2), 22\u201335 (1988)","journal-title":"Journal of Object-Oriented Programming"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Kang, K., et al.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU\/SEI-90-TR-21, Software Engineering Institute (1990)","DOI":"10.21236\/ADA235785"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Apel, S.: Type-checking Software Product Lines - A Formal Approach. In: Proc. Int\u2019l Conf. Automated Software Engineering (ASE), pp. 258\u2013267 (2008)","DOI":"10.1109\/ASE.2008.36"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Apel, S., Kuhlemann, M.: Granularity in Software Product Lines. In: Proc. Int\u2019l Conf. on Software Engineering (ICSE), pp. 311\u2013320 (2008)","DOI":"10.1145\/1368088.1368131"},{"key":"11_CR23","unstructured":"K\u00e4stner, C., Apel, S., Trujillo, S., Kuhlemann, M., Batory, D.: Language-Independent Safe Decomposition of Legacy\u00a0Applications into Features. Technical Report 2\/08, School of Computer Science, University of Magdeburg, Germany (2008)"},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., et al.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Kim, C.H.P., K\u00e4stner, C., Batory, D.: On the Modularity of Feature Interactions. In: Proc. Int\u2019l Conf. Generative Programming and Component Eng. (GPCE), pp. 23\u201334 (2008)","DOI":"10.1145\/1449913.1449919"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Krueger, C.: Easing the Transition to Software Mass Customization. In: Proc. Int\u2019l Workshop on Software Product-Family Eng., pp. 282\u2013293 (2002)","DOI":"10.1007\/3-540-47833-7_25"},{"key":"11_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Heidelberg (2005)"},{"issue":"12","key":"11_CR28","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1183236.1183271","volume":"49","author":"K. Pohl","year":"2006","unstructured":"Pohl, K., Metzger, A.: Software Product Line Testing. Commun. ACM\u00a049(12), 78\u201381 (2006)","journal-title":"Commun. ACM"},{"key":"11_CR29","unstructured":"Poppleton, M., Fischer, B., Franklin, C., Gondal, A., Snook, C., Sorge, J.: Towards Reuse with Feature-Oriented Event-B. In: Proc. GPCE Workshop on Modularization, Composition and Generative Techniques for Product Line Engineering (2008)"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Post, H., Sinz, C.: Configuration Lifting: Verification meets Software Configuration. In: Proc. Int\u2019l Conf. Automated Software Engineering (ASE), pp. 347\u2013350 (2008)","DOI":"10.1109\/ASE.2008.45"},{"key":"11_CR31","unstructured":"Simonyi, C.: The Death of Computer Languages, the Birth of Intentional Programming. In: NATO Science Committee Conference (1995)"},{"key":"11_CR32","unstructured":"Spencer, H., Collyer, G.: #ifdef Considered Harmful or Portability Experience With C News. In: Proc. USENIX Conf., pp. 185\u2013198 (1992)"},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"Staples, M., Hill, D.: Experiences Adopting Software Product Line Development without a Product Line Architecture. In: Proc. Asia-Pacific Software Engineering Conf. (APSEC), pp. 176\u2013183 (2004)","DOI":"10.1109\/APSEC.2004.50"},{"issue":"2","key":"11_CR34","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/979743.979766","volume":"29","author":"A. Tevanlinna","year":"2004","unstructured":"Tevanlinna, A., Taina, J., Kauppinen, R.: Product Family Testing: a Survey. SIGSOFT Softw. Eng. Notes\u00a029(2), 12 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe Composition of Product Lines. In: Proc. Int\u2019l Conf. Generative Programming and Component Eng. (GPCE), pp. 95\u2013104 (2007)","DOI":"10.1145\/1289971.1289989"},{"key":"11_CR36","doi-asserted-by":"crossref","unstructured":"Uzuncaova, E., Garcia, D., Khurshid, S., Batory, D.: A Specification-Based Approach to Testing Software Product Lines. In: Proc. Europ. Software Engineering Conf.\/Foundations of Software Engineering (ESEC\/FSE), pp. 525\u2013528 (2007)","DOI":"10.1145\/1295014.1295032"},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"Wile, D.: Abstract Syntax from Concrete Syntax. In: Proc. Int\u2019l Conf. on Software Engineering (ICSE), pp. 472\u2013480 (1997)","DOI":"10.1145\/253228.253388"}],"container-title":["Lecture Notes in Business Information Processing","Objects, Components, Models and Patterns"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02571-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T12:02:17Z","timestamp":1739188937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02571-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642025709","9783642025716"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02571-6_11","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}