{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:49:29Z","timestamp":1725702569869},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_15","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T21:07:20Z","timestamp":1348607240000},"page":"193-207","source":"Crossref","is-referenced-by-count":22,"title":["Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines"],"prefix":"10.1007","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"15_CR1","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10515-010-0066-8","volume":"17","author":"S. Apel","year":"2010","unstructured":"Apel, S., K\u00e4stner, C., Gr\u00f6sslinger, A., Lengauer, C.: Type safety for feature-oriented product lines. Automated Software Engineering\u00a017(3), 251\u2013300 (2010)","journal-title":"Automated Software Engineering"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Apel, S., K\u00e4stner, C., Lengauer, C.: Feature Featherweight Java: A Calculus for Feature-Oriented Programming and Stepwise Refinement. In: GPCE, pp. 101\u2013112. ACM (2008)","DOI":"10.1145\/1449913.1449931"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D. Batory","year":"2005","unstructured":"Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 7\u201320. Springer, Heidelberg (2005)"},{"issue":"6","key":"15_CR4","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., Rauschmayer, A.: Scaling Step-Wise Refinement. IEEE Trans. Software Eng.\u00a030(6), 355\u2013371 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Delaware, B., Cook, W., Batory, D.: A Machine-Checked Model of Safe Composition. In: FOAL, pp. 31\u201335. ACM (2009)","DOI":"10.1145\/1509837.1509846"},{"issue":"9","key":"15_CR6","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1145\/367390.367400","volume":"3","author":"E. Fredkin","year":"1960","unstructured":"Fredkin, E.: Trie memory. Commun. ACM\u00a03(9), 490\u2013499 (1960)","journal-title":"Commun. ACM"},{"key":"15_CR7","unstructured":"Haber, A., Kutz, T., Rendel, H., Rumpe, B., Schaefer, I.: Towards a family-based analysis of applicability conditions in architectural delta models. In: VARY: Variability for You (Workshop Co-Located with MODELS 2011) (2011)"},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","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 TOPLAS\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"key":"15_CR9","unstructured":"K\u00e4stner, C., Apel, S., ur Rahman, S.S., Rosenm\u00fcller, M., Batory, D., Saake, G.: On the Impact of the Optional Feature Problem: Analysis and Case Studies. In: SPLC, pp. 181\u2013190. ACM (2009)"},{"issue":"4","key":"15_CR10","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/MS.2002.1020284","volume":"19","author":"C. Krueger","year":"2002","unstructured":"Krueger, C.: Eliminating the Adoption Barrier. IEEE Software\u00a019(4), 29\u201331 (2002)","journal-title":"IEEE Software"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Lienhardt, M., Clarke, D.: Row types for delta-oriented programming. In: VaMoS, pp. 121\u2013128 (2012)","DOI":"10.1145\/2110147.2110161"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11531142_8","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"R.E. Lopez-Herrejon","year":"2005","unstructured":"Lopez-Herrejon, R.E., Batory, D., Cook, W.: Evaluating Support for Features in Advanced Modularization Technologies. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 169\u2013194. Springer, Heidelberg (2005)"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer (2005)","DOI":"10.1007\/3-540-28901-1"},{"key":"15_CR14","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":"15_CR15","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Bettini, L., Damiani, F.: Compositional Type-Checking for Delta-Oriented Programming. In: AOSD 2011. ACM (2011)","DOI":"10.1145\/1960275.1960283"},{"key":"15_CR16","unstructured":"Schaefer, I., Damiani, F.: Pure Delta-oriented Programming. In: FOSD 2010 (2010), \n                    \n                      http:\/\/www.fosd.de\/2010"},{"key":"15_CR17","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Kuhlemann, M., Schaefer, I., Saake, G.: Analysis Strategies for Software Product Lines. Technical Report FIN-004-2012, School of Computer Science, University of Magdeburg, Germany (April 2012)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:41:14Z","timestamp":1620117674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}