{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:30Z","timestamp":1772164050051,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T00:00:00Z","timestamp":1348617600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["EU - FP7-231620 HATS"],"award-info":[{"award-number":["EU - FP7-231620 HATS"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["DFG - SCHA 1635\/2-1"],"award-info":[{"award-number":["DFG - SCHA 1635\/2-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["DFG - AP 206\/2AP 206\/4LE 912\/13"],"award-info":[{"award-number":["DFG - AP 206\/2AP 206\/4LE 912\/13"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,9,26]]},"DOI":"10.1145\/2371401.2371404","type":"proceedings-article","created":{"date-parts":[[2012,10,2]],"date-time":"2012-10-02T09:50:06Z","timestamp":1349171406000},"page":"11-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":56,"title":["Family-based deductive verification of software product lines"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Th\u00fcm","sequence":"first","affiliation":[{"name":"University of Magdeburg, Germany"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[{"name":"University of Braunschweig, Germany"}]},{"given":"Sven","family":"Apel","sequence":"additional","affiliation":[{"name":"University of Passau, Germany"}]},{"given":"Martin","family":"Hentschel","sequence":"additional","affiliation":[{"name":"University of Darmstadt, Germany"}]}],"member":"320","published-online":{"date-parts":[[2012,9,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1408647.1408648"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0066-8"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.120"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.07.005"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70770"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"e_1_3_2_1_9_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 , editors . Verification of Object-Oriented Software: The KeY Approach . Springer , Berlin, Heidelberg , New York, London, 2007 . B. Beckert, R. H\u00e4hnle, and P. Schmitt, editors. Verification of Object-Oriented Software: The KeY Approach. Springer, Berlin, Heidelberg, New York, London, 2007."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1949303.1949308"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0167-4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"},{"key":"e_1_3_2_1_13_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 , Boston, MA, USA , 2001 . P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley, Boston, MA, USA, 2001."},{"key":"e_1_3_2_1_14_1","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"Czarnecki K.","year":"2000","unstructured":"K. Czarnecki and U. W. Eisenecker . Generative Programming: Methods, Tools, and Applications . ACM\/Addison-Wesley , New York, NY, USA , 2000 . K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools, and Applications. ACM\/Addison-Wesley, New York, NY, USA, 2000."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.45"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68863-1_8"},{"key":"e_1_3_2_1_17_1","first-page":"190","volume-title":"Proc. Int'l Conf. Formal Verification of Object-Oriented Software (FoVeOOS)","author":"H\u00e4hnle R.","year":"2011","unstructured":"R. H\u00e4hnle and I. Schaefer . A Liskov Principle for Delta-oriented Programming . In Proc. Int'l Conf. Formal Verification of Object-Oriented Software (FoVeOOS) , pages 190 -- 207 , Karlsruhe, Germany , 2011 . Technical Report 2011-26, Department of Informatics, Karlsruhe Institute of Technology. R. H\u00e4hnle and I. Schaefer. A Liskov Principle for Delta-oriented Programming. In Proc. Int'l Conf. Formal Verification of Object-Oriented Software (FoVeOOS), pages 190--207, Karlsruhe, Germany, 2011. Technical Report 2011-26, Department of Informatics, Karlsruhe Institute of Technology."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774546"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.562936"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211617"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2168342.2168346"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/645417.652073"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127878.1127884"},{"key":"e_1_3_2_1_26_1","volume-title":"Extending Design by Contract for Aspect-Oriented Programming. Computing Research Repository (CoRR), abs\/cs\/0501070","author":"Lorenz D. H.","year":"2005","unstructured":"D. H. Lorenz and T. Skotiniotis . Extending Design by Contract for Aspect-Oriented Programming. Computing Research Repository (CoRR), abs\/cs\/0501070 , 2005 . D. H. Lorenz and T. Skotiniotis. Extending Design by Contract for Aspect-Oriented Programming. Computing Research Repository (CoRR), abs\/cs\/0501070, 2005."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.45"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053389"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2019136.2019144"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966451"},{"key":"e_1_3_2_1_32_1","volume-title":"Magdeburger Informatik Tage (MIT)","author":"Th\u00fcm T.","year":"2012","unstructured":"T. Th\u00fcm . Verification of Software Product Lines Using Contracts . In Magdeburger Informatik Tage (MIT) , 2012 . To appear. T. Th\u00fcm. Verification of Software Product Lines Using Contracts. In Magdeburger Informatik Tage (MIT), 2012. To appear."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/2004685.2005509"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_18"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1762980.1762995"}],"event":{"name":"GPCE'12: Generative Programming and Component Engineering","location":"Dresden Germany","acronym":"GPCE'12","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 11th International Conference on Generative Programming and Component Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2371401.2371404","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2371401.2371404","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:34:12Z","timestamp":1750224852000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2371401.2371404"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,26]]},"references-count":34,"alternative-id":["10.1145\/2371401.2371404","10.1145\/2371401"],"URL":"https:\/\/doi.org\/10.1145\/2371401.2371404","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2480361.2371404","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,9,26]]},"assertion":[{"value":"2012-09-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}