{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:53:44Z","timestamp":1760586824155,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,16]],"date-time":"2016-09-16T00:00:00Z","timestamp":1473984000000},"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,9,16]]},"DOI":"10.1145\/2934466.2934471","type":"proceedings-article","created":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T19:17:32Z","timestamp":1475176652000},"page":"134-143","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Product-line maintenance with emergent contract interfaces"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Th\u00fcm","sequence":"first","affiliation":[{"name":"TU Braunschweig, Germany"}]},{"given":"M\u00e1rcio","family":"Ribeiro","sequence":"additional","affiliation":[{"name":"Federal University of Alagoas, Macei\u00f3, Brazil"}]},{"given":"Reimar","family":"Schr\u00f6ter","sequence":"additional","affiliation":[{"name":"University of Magdeburg, Germany"}]},{"given":"Janet","family":"Siegmund","sequence":"additional","affiliation":[{"name":"University of Passau, Germany"}]},{"given":"Francisco","family":"Dalton","sequence":"additional","affiliation":[{"name":"Federal University of Alagoas, Macei\u00f3, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2016,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642990"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.30"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4000-6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1953122.1953145"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"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."},{"issue":"3","key":"e_1_3_2_1_8_1","first-page":"212","volume":"7","author":"Burdy L.","year":"2005","unstructured":"L. Burdy , Y. Cheon , D. R. Cok , M. D. Ernst , J. Kiniry , G. T. Leavens , K. R. M. Leino , and E. Poll . An Overview of JML Tools and Applications. STTT , 7 ( 3 ): 212 -- 232 , 2005 . L. Burdy, Y. Cheon, D. R. Cok, M. D. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An Overview of JML Tools and Applications. STTT, 7(3):212--232, 2005.","journal-title":"An Overview of JML Tools and Applications. STTT"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889443.2889451"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.04.002"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.42"},{"key":"e_1_3_2_1_12_1","volume-title":"Software Product Lines: Practices and Patterns","author":"Clements P.","year":"2001","unstructured":"P. Clements and L. Northrop . Software Product Lines: Practices and Patterns . Addison-Wesley , 2001 . P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley, 2001."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364412.2364422"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/362929.362947"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-012-9208-x"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2012.6240511"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368124"},{"key":"e_1_3_2_1_18_1","first-page":"500","volume-title":"FME","author":"Flanagan C.","year":"2001","unstructured":"C. Flanagan and K. R. M. Leino . Houdini , an Annotation Assistant for ESC\/Java . In FME , pages 500 -- 517 . Springer , 2001 . C. Flanagan and K. R. M. Leino. Houdini, an Annotation Assistant for ESC\/Java. In FME, pages 500--517. Springer, 2001."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34026-0_4"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2187671.2187678"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-044-5_8"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368131"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211617"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048128"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384673"},{"key":"e_1_3_2_1_26_1","first-page":"143","volume-title":"VL\/HCC","author":"Le D.","year":"2011","unstructured":"D. Le , E. Walkingshaw , and M. Erwig . #ifdef Confirmed Harmful: Promoting Understandable Software Variation . In VL\/HCC , pages 143 -- 150 . IEEE, 2011 . D. Le, E. Walkingshaw, and M. Erwig. #ifdef Confirmed Harmful: Promoting Understandable Software Variation. In VL\/HCC, pages 143--150. IEEE, 2011."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127878.1127884"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806819"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818803"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884793"},{"issue":"5","key":"e_1_3_2_1_32_1","first-page":"746","article-title":"A Catalogue of Refactorings to Remove Incomplete Annotations","volume":"20","author":"Medeiros F.","year":"2014","unstructured":"F. Medeiros , M. Ribeiro , R. Gheyi , and B. Fonseca . A Catalogue of Refactorings to Remove Incomplete Annotations . J.UCS , 20 ( 5 ): 746 -- 771 , 2014 . F. Medeiros, M. Ribeiro, R. Gheyi, and B. Fonseca. A Catalogue of Refactorings to Remove Incomplete Annotations. J.UCS, 20(5):746--771, 2014.","journal-title":"J.UCS"},{"key":"e_1_3_2_1_33_1","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_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46734-3_1"},{"key":"e_1_3_2_1_35_1","volume-title":"Principles of Program Analysis","author":"Nielson F.","year":"2010","unstructured":"F. Nielson , H. R. Nielson , and C. Hankin . Principles of Program Analysis . Springer , 2010 . F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer, 2010."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451598.2451603"},{"key":"e_1_3_2_1_38_1","volume-title":"SBLP","author":"Reb\u011blo H.","year":"2009","unstructured":"H. Reb\u011blo , R. Lima , M. Corn\u00e9lio , G. T. Leavens , A. Mota , and C. Oliveira . Optimizing JML Feature Compilation in Ajmlc Using Aspect-Oriented Refactorings . In SBLP , 2009 . H. Reb\u011blo, R. Lima, M. Corn\u00e9lio, G. T. Leavens, A. Mota, and C. Oliveira. Optimizing JML Feature Compilation in Ajmlc Using Aspect-Oriented Refactorings. In SBLP, 2009."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568289"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869542.1869545"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2047862.2047868"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648522"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110156"},{"key":"e_1_3_2_1_44_1","unstructured":"T. Th\u00fcm. Product-Line Specification and Verification with Feature-Oriented Contracts. PhD thesis University of Magdeburg Germany 2015.  T. Th\u00fcm. Product-Line Specification and Verification with Feature-Oriented Contracts. PhD thesis University of Magdeburg Germany 2015."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489828.2489829"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2866614.2866628"}],"event":{"name":"SPLC '16: The 20th International Systems and Software Product Line Conference","sponsor":["Huawei Technologies Co. Ltd. Huawei Technologies Co. Ltd.","Key Laboratory of High Confidence Software Technologies Key Laboratory of High Confidence Software Technologies, Ministry of Education","DC Holdings Digital China Holdings Limited"],"location":"Beijing China","acronym":"SPLC '16"},"container-title":["Proceedings of the 20th International Systems and Software Product Line Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2934466.2934471","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2934466.2934471","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:54Z","timestamp":1750222494000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2934466.2934471"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,16]]},"references-count":47,"alternative-id":["10.1145\/2934466.2934471","10.1145\/2934466"],"URL":"https:\/\/doi.org\/10.1145\/2934466.2934471","relation":{},"subject":[],"published":{"date-parts":[[2016,9,16]]},"assertion":[{"value":"2016-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}