{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:40:02Z","timestamp":1744206002780,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_19","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"253-268","source":"Crossref","is-referenced-by-count":4,"title":["Tracking Behavioral Constraints during Object-Oriented Software Evolution"],"prefix":"10.1007","author":[{"given":"Johan","family":"Dovland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingrid Chieh","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","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":"19_CR2","doi-asserted-by":"crossref","unstructured":"Damiani, F., Dovland, J., Johnsen, E.B., Schaefer, I.: Verifying traits: A proof system for fine-grained reuse. In: Proc. 13th Workshop on Formal Techniques for Java-like Programs (FTfJP 2011), 8:1\u20138:6. ACM (2011)","DOI":"10.1145\/2076674.2076682"},{"key":"19_CR3","unstructured":"Dhara, K.K., Leavens, G.T.: Forcing behavioural subtyping through specification inheritance. In: 18th Conf. on Software Engineering. IEEE Press (1996)"},{"issue":"7","key":"19_CR4","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"},{"issue":"10","key":"19_CR5","doi-asserted-by":"publisher","first-page":"915","DOI":"10.1016\/j.scico.2010.09.006","volume":"76","author":"J. Dovland","year":"2011","unstructured":"Dovland, J., Johnsen, E.B., Owe, O., Steffen, M.: Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Science of Computer Programming\u00a076(10), 915\u2013941 (2011)","journal-title":"Science of Computer Programming"},{"key":"19_CR6","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley (August 1999)"},{"issue":"3","key":"19_CR7","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM TOPLAS\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"issue":"6","key":"19_CR8","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. ACM TOPLAS\u00a016(6), 1811\u20131841 (1994)","journal-title":"ACM TOPLAS"},{"key":"19_CR9","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s10270-007-0056-x","volume":"7","author":"S. Markovi\u0107","year":"2008","unstructured":"Markovi\u0107, S., Baar, T.: Refactoring ocl annotated uml class diagrams. Software and Systems Modeling\u00a07, 25\u201347 (2008)","journal-title":"Software and Systems Modeling"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-19829-8_7","volume-title":"Formal Methods: Foundations and Applications","author":"T. Massoni","year":"2011","unstructured":"Massoni, T., Gheyi, R., Borba, P.: Synchronizing Model and Program Refactoring. In: Davies, J. (ed.) SBMF 2010. LNCS, vol.\u00a06527, pp. 96\u2013111. Springer, Heidelberg (2011)"},{"issue":"2","key":"19_CR11","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/TSE.2004.1265817","volume":"30","author":"T. Mens","year":"2004","unstructured":"Mens, T., Tourw\u00e9, T.: A survey of software refactoring. IEEE Transactions on Software Engineering\u00a030(2), 126\u2013139 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"19_CR12","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Owicki, S., Gries, D.: An axiomatic proof technique for parallel programs I. Acta Informatica\u00a06(4), 319\u2013340 (1976)","journal-title":"Acta Informatica"},{"issue":"3","key":"19_CR13","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1016\/j.tcs.2005.06.018","volume":"343","author":"C. Pierik","year":"2005","unstructured":"Pierik, C., de Boer, F.S.: A proof outline logic for object-oriented programming. Theoretical Computer Science\u00a0343(3), 413\u2013442 (2005)","journal-title":"Theoretical Computer Science"},{"key":"19_CR14","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":"19_CR15","doi-asserted-by":"crossref","unstructured":"Soundarajan, N., Fridella, S.: Inheritance: From code reuse to reasoning reuse. In: 5th Intl. Conf. on Software Reuse (ICSR5), pp. 206\u2013215. IEEE Press (1998)","DOI":"10.1109\/ICSR.1998.685745"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Ubayashi, N., Piao, J., Shinotsuka, S., Tamai, T.: Contract-based verification for aspect-oriented refactoring. In: Proc. Intl. Conf. on Software Testing, Verification, and Validation, pp. 180\u2013189. IEEE Press (2008)","DOI":"10.1109\/ICST.2008.36"},{"key":"19_CR17","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s10270-006-0025-9","volume":"6","author":"R. Straeten Van Der","year":"2007","unstructured":"Van Der Straeten, R., Jonckers, V., Mens, T.: A formal approach to model refactoring and model refinement. Software and Sys. Modeling\u00a06, 139\u2013162 (2007)","journal-title":"Software and Sys. Modeling"},{"issue":"3","key":"19_CR18","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1016\/j.tcs.2005.06.020","volume":"343","author":"H. Wehrheim","year":"2005","unstructured":"Wehrheim, H.: Slicing techniques for verification re-use. Theoretical Computer Science\u00a0343(3), 509\u2013528 (2005)","journal-title":"Theoretical Computer Science"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Yin, X., Knight, J., Weimer, W.: Exploiting refactoring in formal verification. In: Proc. Dependable Systems and Networks (DSN 2009). IEEE Press (2009)","DOI":"10.1109\/DSN.2009.5270355"}],"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_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:22:43Z","timestamp":1744204963000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}