{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T04:19:14Z","timestamp":1744258754466,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_4","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"32-46","source":"Crossref","is-referenced-by-count":29,"title":["A Liskov Principle for Delta-Oriented Programming"],"prefix":"10.1007","author":[{"given":"Reiner","family":"H\u00e4hnle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10515-010-0066-8","volume":"17","author":"S. Apel","year":"2010","unstructured":"Apel, S., K\u00e4stner, C., Gr\u00f6sslinger, A., Lengauer, C.: Type safety for feature-oriented product lines. Automated Software Engineering\u00a017(3), 251\u2013300 (2010)","journal-title":"Automated Software Engineering"},{"issue":"12","key":"4_CR2","first-page":"2059","volume":"14","author":"D.S. Batory","year":"2008","unstructured":"Batory, D.S., B\u00f6rger, E.: Modularizing theorems for software product lines: The Jbook case study. J. UCS\u00a014(12), 2059\u20132082 (2008)","journal-title":"J. UCS"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Beckert, B., H\u00e4hnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Software. LNCS, vol.\u00a04334. Springer (2007)","DOI":"10.1007\/978-3-540-69061-0"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-18070-5_5","volume-title":"Formal Verification of Object-Oriented Software","author":"D. Bruns","year":"2011","unstructured":"Bruns, D., Klebanov, V., Schaefer, I.: Verification of Software Product Lines with Delta-Oriented Slicing. In: Beckert, B., March\u00e9, C. (eds.) FoVeOOS 2010. LNCS, vol.\u00a06528, pp. 61\u201375. Springer, Heidelberg (2011)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-642-21455-4_13","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"D. Clarke","year":"2011","unstructured":"Clarke, D., Diakov, N., H\u00e4hnle, R., Johnsen, E.B., Schaefer, I., Sch\u00e4fer, J., Schlatte, R., Wong, P.Y.H.: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 417\u2013457. Springer, Heidelberg (2011)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A., Raskin, J.-F.: Model checking lots of systems: Efficient verification of temporal properties in software product lines. In: ICSE. IEEE (2010)","DOI":"10.1145\/1806799.1806850"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Delaware, B., Cook, W., Batory, D.: A Machine-Checked Model of Safe Composition. In: FOAL, pp. 31\u201335. ACM (2009)","DOI":"10.1145\/1509837.1509846"},{"key":"4_CR8","unstructured":"Delaware, B., Cook, W., Batory, D.: Theorem Proving for Product Lines. In: OOPSLA 2011 (to appear, 2011)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Dovland, J., Damiani, F., Johnsen, E.B., Schaefer, I.: Verifying Traits: A Proof System for Fine-Grained Reuse. In: Workshop on Formal Techniques for Java-like Programs, FTfJP 2011 (2011)","DOI":"10.1145\/2076674.2076682"},{"issue":"7","key":"4_CR10","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1016\/j.jlap.2010.07.008","volume":"79","author":"J. Dovland","year":"2010","unstructured":"Dovland, J., Johnsen, E.B., Owe, O., Steffen, M.: Lazy behavioral subtyping. Journal of Logic and Algebraic Programming\u00a079(7), 578\u2013607 (2010)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"4_CR11","unstructured":"Engel, C., Roth, A., Schmitt, P.H., Wei\u00df, B.: Verification of modifies clauses in dynamic logic with non-rigid functions. Technical Report 2009-9, Department of Computer Science, University of Karlsruhe (2009)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Kang, K., Lee, J., Donohoe, P.: Feature-Oriented Project Line Engineering. IEEE Software\u00a019(4) (2002)","DOI":"10.1109\/MS.2002.1020288"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Mezini, M.: Aspect-oriented programming and modular reasoning. In: ICSE, pp. 49\u201358. ACM (2005)","DOI":"10.1145\/1062455.1062482"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Lauenroth, K., Pohl, K., Toehning, S.: Model checking of domain artifacts in product line engineering. In: ASE, pp. 269\u2013280 (2009)","DOI":"10.1109\/ASE.2009.16"},{"key":"4_CR15","unstructured":"Leavens, G.T., Poll, E., Clifton, C., Cheon, Y., Ruby, C., Cok, D., M\u00fcller, P., Kiniry, J., Chalin, P., Zimmerman, D.M.: JML Reference Manual (September 2009)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Li, H., Krishnamurthi, S., Fisler, K.: Modular Verification of Open Features Using Three-Valued Model Checking. Autom. Softw. Eng.\u00a012(3) (2005)","DOI":"10.1007\/s10515-005-2643-9"},{"issue":"6","key":"4_CR17","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.M.: A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst.\u00a016(6), 1811\u20131841 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"10","key":"4_CR18","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"4_CR19","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.\u00a06287, pp. 77\u201391. Springer, Heidelberg (2010)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Bettini, L., Damiani, F.: Compositional type-checking for delta-oriented programming. In: 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, pp. 43\u201356. ACM (2011)","DOI":"10.1145\/1960275.1960283"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Soundarajan, N., Fridella, S.: Inheritance: From code reuse to reasoning reuse. In: Proc. 5th Intl Conf. on Software Reuse, pp. 206\u2013215. IEEE Comp. Soc. (1998)","DOI":"10.1109\/ICSR.1998.685745"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-540-39993-3_15","volume-title":"From Object-Orientation to Formal Methods","author":"N. Soundarajan","year":"2004","unstructured":"Soundarajan, N., Fridella, S.: Incremental Reasoning for Object Oriented Systems. In: Owe, O., Krogdahl, S., Lyche, T. (eds.) From Object-Orientation to Formal Methods. LNCS, vol.\u00a02635, pp. 302\u2013333. Springer, Heidelberg (2004)"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., Schaefer, I., Kuhlemann, M., Apel, S.: Proof composition for deductive verification of software product lines. In: Proc. Int\u2019l Workshop Variability-Intensive Systems Testing, Validation and Verification, pp. 270\u2013277. IEEE CS (2011)","DOI":"10.1109\/ICSTW.2011.48"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:23:18Z","timestamp":1744204998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}