{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:54:24Z","timestamp":1750308864903,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,1,27]],"date-time":"2016-01-27T00:00:00Z","timestamp":1453852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,1,27]]},"DOI":"10.1145\/2866614.2866628","type":"proceedings-article","created":{"date-parts":[[2016,1,26]],"date-time":"2016-01-26T13:25:06Z","timestamp":1453814706000},"page":"97-104","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Variability Hiding in Contracts for Dependent Software Product Lines"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Th\u00fcm","sequence":"first","affiliation":[{"name":"TU Braunschweig, Germany"}]},{"given":"Tim","family":"Winkelmann","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Germany"}]},{"given":"Reimar","family":"Schr\u00f6ter","sequence":"additional","affiliation":[{"name":"University of Magdeburg, Germany"}]},{"given":"Martin","family":"Hentschel","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}]},{"given":"Stefan","family":"Kr\u00fcger","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}]}],"member":"320","published-online":{"date-parts":[[2016,1,27]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines: Concepts and Implementation","author":"Apel S.","year":"2013","unstructured":"S. Apel , D. Batory , C. K\u00e4stner , and G. Saake . Feature-Oriented Software Product Lines: Concepts and Implementation . Springer , 2013 . S. Apel, D. Batory, C. K\u00e4stner, and G. Saake. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, 2013."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"e_1_3_2_1_5_1","volume-title":"Verification of Object-Oriented Software: The KeY Approach","author":"Beckert B.","year":"2007","unstructured":"B. Beckert , R. H\u00e4hnle , and P. Schmitt . Verification of Object-Oriented Software: The KeY Approach . Springer , 2007 . B. Beckert, R. H\u00e4hnle, and P. Schmitt. Verification of Object-Oriented Software: The KeY Approach. Springer, 2007."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_7_1","first-page":"61","volume-title":"FoVeOOS","author":"Bruns D.","year":"2011","unstructured":"D. Bruns , V. Klebanov , and I. Schaefer . Verification of Software Product Lines with Delta-Oriented Slicing . In FoVeOOS , pages 61 -- 75 . Springer , 2011 . D. Bruns, V. Klebanov, and I. Schaefer. Verification of Software Product Lines with Delta-Oriented Slicing. In FoVeOOS, pages 61--75. Springer, 2011."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364412.2364422"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648536"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34026-0_4"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_21"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2187671.2187678"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.02.002"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501654.2501665"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211617"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384673"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286953"},{"key":"e_1_3_2_1_18_1","volume-title":"Object-Oriented Software Construction","author":"Meyer B.","year":"1988","unstructured":"B. Meyer . Object-Oriented Software Construction . Prentice-Hall, Inc. , 1st edition, 1988 . B. Meyer. Object-Oriented Software Construction. Prentice-Hall, Inc., 1st edition, 1988."},{"key":"e_1_3_2_1_19_1","first-page":"419","volume-title":"ECOOP","author":"Prehofer C.","year":"1997","unstructured":"C. Prehofer . Feature-Oriented Programming : A Fresh Look at Objects . In ECOOP , pages 419 -- 443 . Springer , 1997 . C. Prehofer. Feature-Oriented Programming: A Fresh Look at Objects. In ECOOP, pages 419--443. Springer, 1997."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884823"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2500719"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648522"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430515"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.53"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648530"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.48"},{"key":"e_1_3_2_1_29_1","volume-title":"Variability Encoding: From Compile-Time to Load-Time Variability. JLAMP, 85(1, Part 2):125--145","author":"von Rhein A.","year":"2016","unstructured":"A. von Rhein , T. Th\u00fcm , I. Schaefer , J. Liebig , and S. Apel . Variability Encoding: From Compile-Time to Load-Time Variability. JLAMP, 85(1, Part 2):125--145 , 2016 . A. von Rhein, T. Th\u00fcm, I. Schaefer, J. Liebig, and S. Apel. Variability Encoding: From Compile-Time to Load-Time Variability. JLAMP, 85(1, Part 2):125--145, 2016."}],"event":{"name":"VaMoS '16: Tenth International Workshop on Variability Modelling of Software-intensive Systems","sponsor":["SBC Sociedade Brasileira de Computa\u00e7\u00e3o","FAPESB Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado da Bahia","University of Bras\u00edlia University of Bras\u00edlia","Technische Universit\u00e4t Braunschweig"],"location":"Salvador Brazil","acronym":"VaMoS '16"},"container-title":["Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2866614.2866628","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2866614.2866628","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:15:05Z","timestamp":1750281305000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2866614.2866628"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,27]]},"references-count":27,"alternative-id":["10.1145\/2866614.2866628","10.1145\/2866614"],"URL":"https:\/\/doi.org\/10.1145\/2866614.2866628","relation":{},"subject":[],"published":{"date-parts":[[2016,1,27]]},"assertion":[{"value":"2016-01-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}