{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T13:23:47Z","timestamp":1773840227497,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642288715","type":"print"},{"value":"9783642288722","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28872-2_18","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:48:16Z","timestamp":1332449296000},"page":"255-269","source":"Crossref","is-referenced-by-count":18,"title":["Applying Design by Contract to\u00a0Feature-Oriented Programming"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Th\u00fcm","sequence":"first","affiliation":[]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Kuhlemann","sequence":"additional","affiliation":[]},{"given":"Sven","family":"Apel","sequence":"additional","affiliation":[]},{"given":"Gunter","family":"Saake","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Agostinho, S., Moreira, A., Guerreiro, P.: Contracts for Aspect-Oriented Design. In: Proc. Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT). ACM (2008)","DOI":"10.1145\/1408647.1408648"},{"issue":"5","key":"18_CR2","doi-asserted-by":"publisher","first-page":"49","DOI":"10.5381\/jot.2009.8.5.c5","volume":"8","author":"S. Apel","year":"2009","unstructured":"Apel, S., K\u00e4stner, C.: An Overview of Feature-Oriented Software Development. J. Object Technology (JOT)\u00a08(5), 49\u201384 (2009)","journal-title":"J. Object Technology (JOT)"},{"issue":"3","key":"18_CR3","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\u00f6\u00dflinger, A., Lengauer, C.: Type Safety for Feature-Oriented Product Lines. Automated Software Engineering (ASE)\u00a017(3), 251\u2013300 (2010)","journal-title":"Automated Software Engineering (ASE)"},{"issue":"2","key":"18_CR4","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1109\/TSE.2007.70770","volume":"34","author":"S. Apel","year":"2008","unstructured":"Apel, S., Leich, T., Saake, G.: Aspectual Feature Modules. IEEE Trans. Software Engineering (TSE)\u00a034(2), 162\u2013180 (2008)","journal-title":"IEEE Trans. Software Engineering (TSE)"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Apel, S., Scholz, W., Lengauer, C., K\u00e4stner, C.: Detecting Dependences and Interactions in Feature-Oriented Design. In: Proc. Int\u2019l Symposium Software Reliability Engineering (ISSRE), pp. 161\u2013170. IEEE (2010)","DOI":"10.1109\/ISSRE.2010.11"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Apel, S., Speidel, H., Wendler, P., von Rhein, A., Beyer, D.: Detection of Feature Interactions using Feature-Aware Verification. In: Proc. Int\u2019l Conf. Automated Software Engineering (ASE), pp. 372\u2013375. IEEE (2011)","DOI":"10.1109\/ASE.2011.6100075"},{"issue":"6","key":"18_CR7","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. Software Engineering (TSE)\u00a030(6), 355\u2013371 (2004)","journal-title":"IEEE Trans. Software Engineering (TSE)"},{"issue":"6","key":"18_CR8","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D. Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Ruiz-Cort\u00e9s, A.: Automated Analysis of Feature Models 20 Years Later: A Literature Review. Information Systems\u00a035(6), 615\u2013708 (2010)","journal-title":"Information Systems"},{"key":"18_CR9","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":"18_CR10","doi-asserted-by":"crossref","unstructured":"Delaware, B., Cook, W., Batory, D.: A Machine-Checked Model of Safe Composition. In: Proc. Workshop Foundations of Aspect-Oriented Languages (FOAL), pp. 31\u201335. ACM (2009)","DOI":"10.1145\/1509837.1509846"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Dhara, K.K., Leavens, G.T.: Forcing Behavioral Subtyping through Specification Inheritance. In: Proc. Int\u2019l Conf. Software Engineering (ICSE), pp. 258\u2013267. IEEE (1996)","DOI":"10.1109\/ICSE.1996.493421"},{"key":"18_CR12","unstructured":"H\u00e4hnle, R., Schaefer, I.: A Liskov Principle for Delta-oriented Programming. In: Proc. Int\u2019l Conf. Formal Verification of Object-Oriented Software (FoVeOOS), pp. 190\u2013207. Technical Report 2011-26, Department of Informatics, Karlsruhe Institute of Technology (2011)"},{"issue":"10","key":"18_CR13","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An Axiomatic Basis for Computer Programming. Comm. ACM\u00a012(10), 576\u2013580 (1969)","journal-title":"Comm. ACM"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Juergens, E., Deissenboeck, F., Hummel, B., Wagner, S.: Do Code Clones Matter? In: Proc. Int\u2019l Conf. Software Engineering (ICSE), pp. 485\u2013495. IEEE (2009)","DOI":"10.1109\/ICSE.2009.5070547"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU\/SEI-90-TR-21, Software Engineering Institute (1990)","DOI":"10.21236\/ADA235785"},{"issue":"3","key":"18_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1127878.1127884","volume":"31","author":"G.T. Leavens","year":"2006","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Software Engineering Notes (SEN)\u00a031(3), 1\u201338 (2006)","journal-title":"Software Engineering Notes (SEN)"},{"issue":"6","key":"18_CR17","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B.H. Liskov","year":"1994","unstructured":"Liskov, B.H., Wing, J.M.: A Behavioral Notion of Subtyping. Trans. Programming Languages and Systems (TOPLAS)\u00a016(6), 1811\u20131841 (1994)","journal-title":"Trans. Programming Languages and Systems (TOPLAS)"},{"issue":"1","key":"18_CR18","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10515-010-0075-7","volume":"18","author":"J. Liu","year":"2011","unstructured":"Liu, J., Basu, S., Lutz, R.: Compositional Model Checking of Software Product Lines using Variation Point Obligations. Automated Software Engineering (ASE)\u00a018(1), 39\u201376 (2011)","journal-title":"Automated Software Engineering (ASE)"},{"key":"18_CR19","unstructured":"Lorenz, D.H., Skotiniotis, T.: Extending Design by Contract for Aspect-Oriented Programming. Computing Research Repository (CoRR), abs\/cs\/0501070 (2005)"},{"issue":"10","key":"18_CR20","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. Computer\u00a025(10), 40\u201351 (1992)","journal-title":"Computer"},{"key":"18_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/BFb0053389","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"C. Prehofer","year":"1997","unstructured":"Prehofer, C.: Feature-Oriented Programming: A Fresh Look at Objects. In: Aksit, M., Auletta, V. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 419\u2013443. Springer, Heidelberg (1997)"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Scholz, W., Th\u00fcm, T., Apel, S., Lengauer, C.: Automatic Detection of Feature Interactions using the Java Modeling Language: An Experience Report. In: Proc. Int\u2019l Workshop Feature-Oriented Software Development (FOSD), pp. 7:1\u20137:8. ACM (2011)","DOI":"10.1145\/2019136.2019144"},{"key":"18_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 (VAST), pp. 270\u2013277. IEEE (2011)","DOI":"10.1109\/ICSTW.2011.48"},{"key":"18_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-36578-8_11","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Zhao","year":"2003","unstructured":"Zhao, J., Rinard, M.: Pipa: A Behavioral Interface Specification Language for AspectJ. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol.\u00a02621, pp. 150\u2013165. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28872-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T18:49:36Z","timestamp":1742755776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28872-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288715","9783642288722"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28872-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}