{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:46Z","timestamp":1740099166716,"version":"3.37.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319980461"},{"type":"electronic","value":"9783319980478"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-98047-8_7","type":"book-chapter","created":{"date-parts":[[2018,10,23]],"date-time":"2018-10-23T21:05:49Z","timestamp":1540328749000},"page":"99-117","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Same Same But Different: Interoperability of Software Product Line Variants"],"prefix":"10.1007","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiner","family":"H\u00e4hnle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduard","family":"Kamburjan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Lienhardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,24]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","unstructured":"Mathieu Acher et al. \u201cSlicing feature models\u201d. In: 26th IEEE\/ACM International Conference on Automated Software Engineering, (ASE), 2011. 2011, pp. 424\u2013427. https:\/\/doi.org\/10.1109\/ASE.2011.6100089 .","DOI":"10.1109\/ASE.2011.6100089"},{"key":"7_CR2","unstructured":"Sven Apel et al. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, 2013, pp. I\u2013XVI, 1\u2013315. ISBN: 978-3-642-37520-0."},{"issue":"6","key":"7_CR3","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D. Batory","year":"2004","unstructured":"Don Batory, Jacob Neal Sarvela, and Axel Rauschmayer. \u201cScaling Step-Wise Refinement\u201d. In: IEEE Transactions on Software Engineering 30 (2004), pp. 355\u2013371. ISSN: 0098-5589. https:\/\/doi.org\/10.1109\/TSE.2004.23 .","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"7_CR4","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s00236-012-0173-z","volume":"50","author":"Lorenzo Bettini","year":"2013","unstructured":"Lorenzo Bettini, Ferruccio Damiani, and Ina Schaefer. \u201cCompositional type checking of delta-oriented software product lines\u201d. In: Acta Informatica 50.2 (2013), pp. 77\u2013122. ISSN: 1432-0525. https:\/\/doi.org\/10.1007\/s00236-012-0173-z .","journal-title":"Acta Informatica"},{"key":"7_CR5","unstructured":"P. Clements and L. Northrop. Software Product Lines: Practices & Patterns. Addison Wesley Longman, 2001."},{"key":"7_CR6","first-page":"47","volume-title":"Lecture Notes in Computer Science","author":"Ferruccio Damiani","year":"2016","unstructured":"Ferruccio Damiani and Michael Lienhardt. \u201cOn Type Checking Delta-Oriented Product Lines\u201d. In: Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1\u20135, 2016, Proceedings Vol. 9681. Lecture Notes in Computer Science. Springer, 2016, pp. 47\u201362. ISBN: 978-3-319-33692-3. https:\/\/doi.org\/10.1007\/978-3-319-33693-0_4 ."},{"key":"7_CR7","unstructured":"Ferruccio Damiani, Michael Lienhardt, and Luca Paolini. \u201cA Formal Model for Multi SPLs\u201d. In: FSEN. Vol. 10522. Lecture Notes in Computer Science. Springer, 2017, pp. 67\u201383."},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-34026-0_15","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"Ferruccio Damiani","year":"2012","unstructured":"Ferruccio Damiani and Ina Schaefer. \u201cFamily-Based Analysis of Type Safety for Delta Oriented Software Product Lines\u201d. English. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Ed. by Tiziana Margaria and Bernhard Steffen. Vol. 7609. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012, pp. 193\u2013207. ISBN: 978-3-642-34025-3. https:\/\/doi.org\/10.1007\/978-3-642-34026-0_15 ."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Ferruccio Damiani, Ina Schaefer, and Tim Winkelmann. \u201cDelta-oriented Multi Software Product Lines\u201d. In: Proceedings of the 18th International Software Product Line Conference Volume 1. SPLC \u201914. Florence, Italy: ACM, 2014, pp. 232\u2013236. ISBN: 978-1-4503-2740-4. https:\/\/doi.org\/10.1145\/2648511.2648536 .","DOI":"10.1145\/2648511.2648536"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/978-3-662-54494-5_25","volume-title":"Fundamental Approaches to Software Engineering","author":"Ferruccio Damiani","year":"2017","unstructured":"Ferruccio Damiani et al. \u201cA Unified and Formal Programming Model for Deltas and Traits\u201d. In: Fundamental Approaches to Software Engineering 20th International Conference FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2017, Uppsala, Sweden, April 22\u201329, 2017, Proceedings. Vol. 10202. Lecture Notes in Computer Science. Springer, 2017, pp. 424\u2013441. URL: https:\/\/doi.org\/10.1007\/978-3-662-54494-5_25 ."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Ferruccio Damiani et al. \u201cAn Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs\u201d. In: Integrated Formal Methods - 13th International Conference IFM 2017, Turin, Italy, September 20\u201322, 2017, Proceedings. Vol. 10510. Lecture Notes in Computer Science. Springer, 2017, pp. 111\u2013126. ISBN: 978-3-319-66844-4. https:\/\/doi.org\/10.1007\/978-3-319-66845-1_8 . URL: https:\/\/doi.org\/10.1007\/978-3-319-66845-1_8","DOI":"10.1007\/978-3-319-66845-1_8"},{"key":"7_CR12","unstructured":"Ferruccio Damiani, Reiner H\u00e4hnle, Eduard Kamburjan, and Michael Lienhardt. \u201cInteroperability of Software Product Line Variants\u201d. In: Proc. 22nd Intl. Systems and Software Product Line Conference (SPLC). Gothenburg, Sweden: ACM, 2018."},{"key":"7_CR13","unstructured":"Reiner H\u00e4hnle. \u201cThe Abstract Behavioral Specification Language: A Tutorial Introduction\u201d. In: Intl. School on Formal Models for Components and Objects: Post Proceedings. Ed. by Marcello Bonsangue et al. Vol. 7866. LNCS. Springer, 2013, pp. 1\u201337."},{"issue":"8","key":"7_CR14","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1016\/j.infsof.2012.02.002","volume":"54","author":"Gerald Holl","year":"2012","unstructured":"Gerald Holl, Paul Gr\u00fcnbacher, and Rick Rabiser. \u201cA systematic review and an expert survey on capabilities supporting multi product lines\u201d. In: Information & Software Technology 54.8 (2012), pp. 828\u2013852. https:\/\/doi.org\/10.1016\/j.infsof.2012.02.002 URL: http:\/\/dx.doi.org\/10.1016\/j.infsof.2012.02.002","journal-title":"Information and Software Technology"},{"issue":"3","key":"7_CR15","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"Atsushi Igarashi","year":"2001","unstructured":"A. Igarashi, B. Pierce, and P. Wadler. \u201cFeatherweight Java: A Minimal Core Calculus for Java and GJ\u201d. In: ACM TOPLAS 23.3 (2001), pp. 396\u2013450. https:\/\/doi.org\/10.1145\/503502.503505 .","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Einar Broch Johnsen et al. \u201cABS: A Core Language for Abstract Behavioral Specification\u201d. In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. 2010, pp. 142\u2013164. https:\/\/doi.org\/10.1007\/978-3-642-25271-6_8 . URL: https:\/\/doi.org\/10.1007\/978-3-642-25271-6_8 .","DOI":"10.1007\/978-3-642-25271-6_8"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Eduard Kamburjan and Reiner H\u00e4hnle. \u201cUniform Modeling of Railway Operations\u201d. In: FTSCS. Vol. 694. Communications in Computer and Information Science. 2016, pp. 55\u201371.","DOI":"10.1007\/978-3-319-53946-1_4"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Christian K\u00e4stner, Klaus Ostermann, and Sebastian Erdweg. \u201cA Variability-aware Module System\u201d. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications. OOPSLA \u201912. Tucson, Arizona, USA: ACM, 2012, pp. 773\u2013792. ISBN: 978-1-4503-1561-6. https:\/\/doi.org\/10.1145\/2384616.2384673 .","DOI":"10.1145\/2384616.2384673"},{"key":"7_CR19","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":"K. Pohl, G. B\u00f6ckle, and F. van der Linden. Software Product Line Engineering Foundations, Principles, and Techniques. Berlin, Germany: Springer, 2005."},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Ina Schaefer and Ferruccio Damiani. \u201cPure delta-oriented programming\u201d. In: Proceedings of the 2nd International Workshop on Feature-Oriented Software Development. FOSD \u201910. Eindhoven, The Netherlands: ACM, 2010, pp. 49\u201356. ISBN: 978-1-4503-0208-1. https:\/\/doi.org\/10.1145\/1868688.1868696 .","DOI":"10.1145\/1868688.1868696"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-15579-6_6","volume-title":"Software Product Lines: Going Beyond","author":"Ina Schaefer","year":"2010","unstructured":"Ina Schaefer et al. \u201cDelta-Oriented Programming of Software Product Lines\u201d. In: Software Product Lines: Going Beyond (SPLC 2010). Vol. 6287. LNCS. 2010, pp. 77\u201391. ISBN: 978-3-642-15578-9. https:\/\/doi.org\/10.1007\/978-3-642-15579-6_6"},{"issue":"5","key":"7_CR22","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/s10009-012-0253-y","volume":"14","author":"Ina Schaefer","year":"2012","unstructured":"Ina Schaefer et al. \u201cSoftware diversity\u201d. English. In: International Journal on Software Tools for Technology Transfer 14.5 (2012), pp. 477\u2013495. ISSN: 1433-2779. https:\/\/doi.org\/10.1007\/s10009-012-0253-y URL: http:\/\/dx.doi.org\/10.1007\/s10009-012-0253-y","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Reimar Schr\u00f6ter, Norbert Siegmund, and Thomas Th\u00fcm. \u201cTowards Modular Analysis of Multi Product Lines\u201d. In: Proceedings of the 17th International Software Product Line Conference Co-located Workshops. SPLC\u201913. Tokyo, Japan: ACM, 2013, pp. 96\u201399. ISBN: 978-1-4503-2325-3. https:\/\/doi.org\/10.1145\/2499777.2500719","DOI":"10.1145\/2499777.2500719"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Reimar Schr\u00f6ter et al. \u201cFeature-context Interfaces: Tailored Programming Interfaces for SPLs\u201d. In: Proceedings of the 18th International Software Product Line Conference Volume 1. SPLC\u201914. Florence, Italy: ACM, 2014, pp. 102\u2013111. ISBN: 978-1-4503-2740-4. https:\/\/doi.org\/10.1145\/2648511.2648522 .","DOI":"10.1145\/2648511.2648522"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Reimar Schr\u00f6ter et al. \u201cFeature-model Interfaces: The Highway to Compositional Analyses of Highly-configurable Systems\u201d. In: Proceedings of the 38th International Conference on Software Engineering. ICSE \u201916. Austin, Texas: ACM, 2016, pp. 667\u2013678. ISBN: 978-1- 4503-3900-1. https:\/\/doi.org\/10.1145\/2884781.2884823 .","DOI":"10.1145\/2884781.2884823"},{"issue":"1","key":"7_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2580950","volume":"47","author":"Thomas Th\u00fcm","year":"2014","unstructured":"Thomas Th\u00fcm et al. \u201cA Classification and Survey of Analysis Strategies for Software Product Lines\u201d. In: ACM Comput. Surv. 47.1 (2014), 6:1\u20136:45. ISSN: 0360-0300. https:\/\/doi.org\/10.1145\/2580950 .","journal-title":"ACM Computing Surveys"}],"container-title":["Principled Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-98047-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,27]],"date-time":"2019-10-27T13:13:27Z","timestamp":1572182007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-98047-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319980461","9783319980478"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-98047-8_7","relation":{},"subject":[],"published":{"date-parts":[[2018]]}}}