{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:36:28Z","timestamp":1759638988333,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319689715"},{"type":"electronic","value":"9783319689722"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68972-2_5","type":"book-chapter","created":{"date-parts":[[2017,10,10]],"date-time":"2017-10-10T01:42:41Z","timestamp":1507599761000},"page":"67-83","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A Formal Model for Multi SPLs"],"prefix":"10.1007","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[]},{"given":"Michael","family":"Lienhardt","sequence":"additional","affiliation":[]},{"given":"Luca","family":"Paolini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,11]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.B: Slicing feature models. In: 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE) 2011, pp. 424\u2013427 (2011). doi:10.1109\/ASE.2011.6100089","DOI":"10.1109\/ASE.2011.6100089"},{"key":"5_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product: Concepts and Implementation","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D.S., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product: Concepts and Implementation. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-37521-7"},{"key":"5_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. 3714, pp. 7\u201320. Springer, Heidelberg (2005). doi:10.1007\/11554844_3"},{"key":"5_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.N., Rauschmayer, A.: Scaling step-wise refinement. IEEE Trans. Softw. Eng. 30, 355\u2013371 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"5_CR5","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s00236-012-0173-z","volume":"50","author":"L Bettini","year":"2013","unstructured":"Bettini, L., Damiani, F., Schaefer, I.: Compositional type checking of delta-oriented software product lines. Acta Informatica 50(2), 77\u2013122 (2013)","journal-title":"Acta Informatica"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-319-46508-1_8","volume-title":"Transactions on Foundations for Mastering Change I","author":"R Bubel","year":"2016","unstructured":"Bubel, R., Damiani, F., H\u00e4hnle, R., Johnsen, E.B., Owe, O., Schaefer, I., Yu, I.C.: Proof repositories for compositional verification of evolving software systems. In: Steffen, B. (ed.) Transactions on Foundations for Mastering Change I. LNCS, vol. 9960, pp. 130\u2013156. Springer, Cham (2016). doi:10.1007\/978-3-319-46508-1_8"},{"key":"5_CR7","volume-title":"Software Product Lines: Practices & Patterns","author":"P Clements","year":"2001","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices & Patterns. Addison Wesley Longman, Boston (2001)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-33693-0_4","volume-title":"Integrated Formal Methods","author":"F Damiani","year":"2016","unstructured":"Damiani, F., Lienhardt, M.: On type checking delta-oriented product lines. In: \u00c1brah\u00e1m, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 47\u201362. Springer, Cham (2016). doi:10.1007\/978-3-319-33693-0_4"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","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":"F Damiani","year":"2012","unstructured":"Damiani, F., Schaefer, I.: Family-based analysis of type safety for delta-oriented software product lines. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012. LNCS, vol. 7609, pp. 193\u2013207. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-34026-0_15"},{"key":"5_CR10","doi-asserted-by":"publisher","unstructured":"Damiani, F., Schaefer, I., Winkelmann, T.: Delta-oriented multi software product lines. In: Proceedings of the 18th International Software Product Line Conference SPLC 2014, Vol. 1, pp. 232\u2013236. ACM (2014). doi:10.1145\/2648511.2648536","DOI":"10.1145\/2648511.2648536"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-34026-0_4","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"R H\u00e4hnle","year":"2012","unstructured":"H\u00e4hnle, R., Schaefer, I.: A liskov principle for delta-oriented programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012. LNCS, vol. 7609, pp. 32\u201346. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-34026-0_4"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-642-38574-2_21","volume-title":"Automated Deduction \u2013 CADE-24","author":"R H\u00e4hnle","year":"2013","unstructured":"H\u00e4hnle, R., Schaefer, I., Bubel, R.: Reuse in software verification by abstract method calls. In: Bonacina, M.P. (ed.) CADE 2013. LNCS (LNAI), vol. 7898, pp. 300\u2013314. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-38574-2_21"},{"issue":"8","key":"5_CR13","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1016\/j.infsof.2012.02.002","volume":"54","author":"G Holl","year":"2012","unstructured":"Holl, G., Gr\u00fcnbacher, P., Rabiser, R.: A systematic review and an expert survey on capabilities supporting multi product lines. Inf. Softw. Technol. 54(8), 828\u2013852 (2012)","journal-title":"Inf. Softw. Technol."},{"issue":"3","key":"5_CR14","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 23(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"Formal Methods for Components and Objects","author":"EB Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: Aichernig, B.K., Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142\u2013164. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-25271-6_8"},{"key":"5_CR16","doi-asserted-by":"publisher","unstructured":"K\u00e4stner, C., Ostermann, K., Erdweg, S.: A variability-aware module system. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications OOPSLA 2012, pp. 773\u2013792. ACM (2012). doi:10.1145\/2384616.2384673","DOI":"10.1145\/2384616.2384673"},{"key":"5_CR17","doi-asserted-by":"publisher","unstructured":"Koscielny, J., Holthusen, S., Schaefer, I., Schulze, S., Bettini, L., Damiani, F.: DeltaJ 1.5: delta-oriented programming for Java. In: International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools PPPJ 2014, pp. 63\u201374 (2014). doi:10.1145\/2647508.2647512","DOI":"10.1145\/2647508.2647512"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-642-34026-0_14","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"M Lienhardt","year":"2012","unstructured":"Lienhardt, M., Clarke, D.: Conflict detection in delta-oriented programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012. LNCS, vol. 7609, pp. 178\u2013192. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-34026-0_14"},{"key":"5_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":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer, Heidelberg (2005). doi:10.1007\/3-540-28901-1"},{"key":"5_CR20","unstructured":"Rosenm\u00fcller, M., Siegmund, N., ur Rahman, S.S., K\u00e4stner, C.: Modeling dependent software product lines. In: Proceedings of the GPCE Workshop on Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE), MIP-0802, pp. 13\u201318. Department of Informatics and Mathematics, University of Passau (2008)"},{"key":"5_CR21","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. 6287, pp. 77\u201391. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-15579-6_6"},{"key":"5_CR22","doi-asserted-by":"publisher","unstructured":"Schaefer, I., Damiani, F.: Pure delta-oriented programming. In: Proceedings of the 2nd International Workshop on Feature-Oriented Software Development, FOSD 2010, pp. 49\u201356. ACM (2010). doi:10.1145\/1868688.1868696","DOI":"10.1145\/1868688.1868696"},{"issue":"5","key":"5_CR23","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/s10009-012-0253-y","volume":"14","author":"I Schaefer","year":"2012","unstructured":"Schaefer, I., Rabiser, R., Clarke, D., Bettini, L., Benavides, D., Botterweck, G., Pathak, A., Trujillo, S., Villela, K.: Software diversity: state of the art and perspectives. Int. J. Softw. Tools Technol. Transfer 14(5), 477\u2013495 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"5_CR24","doi-asserted-by":"publisher","unstructured":"Schr\u00f6ter, R., Krieter, S., Th\u00fcm, T., Benduhn, F., Saake, G.: Feature-model interfaces: The highway to compositional analyses of highly-configurable systems. In: Proceedings of the 38th International Conference on Software Engineering ICSE 2016, pp. 667\u2013678. ACM (2016). doi:10.1145\/2884781.2884823","DOI":"10.1145\/2884781.2884823"},{"key":"5_CR25","doi-asserted-by":"publisher","unstructured":"Schr\u00f6ter, R., Siegmund, N., Th\u00fcm, T.: Towards modular analysis of multi product lines. In: Proceedings of the 17th International Software Product Line Conference Co-located Workshops SPLC 2013, pp 96\u201399. ACM (2013). doi:10.1145\/2499777.2500719","DOI":"10.1145\/2499777.2500719"},{"key":"5_CR26","doi-asserted-by":"publisher","unstructured":"Schr\u00f6ter, R., Siegmund, N., Th\u00fcm, T., Saake, G.: Feature-context interfaces: Tailored programming interfaces for spls. In: Proceedings of the 18th International Software Product Line Conference SPLC 2014, Vol. 1, pp. 102\u2013111. ACM (2014). doi:10.1145\/2648511.2648522","DOI":"10.1145\/2648511.2648522"},{"issue":"1","key":"5_CR27","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/2580950","volume":"47","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Schaefer, I., Saake, G.: A classification and survey of analysis strategies for software product lines. ACM Comput. Surv. 47(1), 6:1\u20136:45 (2014)","journal-title":"ACM Comput. Surv."},{"key":"5_CR28","doi-asserted-by":"publisher","unstructured":"Th\u00fcm, T., Winkelmann, T., Schr\u00f6ter, R., Hentschel, M., Kr\u00fcger, S.: Variability hiding in contracts for dependent spls. In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems VaMoS 2016, pp. 97\u2013104. ACM (2016). doi:10.1145\/2866614.2866628","DOI":"10.1145\/2866614.2866628"},{"issue":"1, Part 2","key":"5_CR29","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.jlamp.2015.06.007","volume":"85","author":"A von Rhein","year":"2016","unstructured":"von Rhein, A., Thm, T., Schaefer, I., Liebig, J., Apel, S.: Variability encoding: from compile-time to load-time variability. J. Logical and Algebraic Methods Program. 85(1, Part 2), 125\u2013145 (2016)","journal-title":"J. Logical and Algebraic Methods Program."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68972-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T01:52:51Z","timestamp":1633917171000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-68972-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319689715","9783319689722"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68972-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"11 October 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FSEN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamentals of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Teheran","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iran","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fsen2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/fsen.ir\/2017\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}