{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,14]],"date-time":"2025-02-14T05:13:07Z","timestamp":1739509987312,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642103728"},{"type":"electronic","value":"9783642103735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10373-5_32","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T11:45:27Z","timestamp":1258371927000},"page":"620-638","source":"Crossref","is-referenced-by-count":3,"title":["Refinement-Preserving Co-evolution"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Ruhroth","sequence":"first","affiliation":[]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"32_CR1","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1016\/j.infsof.2008.06.002","volume":"51","author":"L.C. Briand","year":"2009","unstructured":"Briand, L.C., Labiche, Y., Yue, T.: Automated traceability analysis for UML model refinements. Inf. Softw. Technol.\u00a051(2), 512\u2013527 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"32_CR2","doi-asserted-by":"crossref","first-page":"1275","DOI":"10.1145\/1244002.1244278","volume-title":"SAC","author":"W. Cazzola","year":"2007","unstructured":"Cazzola, W., Pini, S., Ghoneim, A., Saake, G.: Co-evolving application code and design models by exploiting meta-data. In: SAC, pp. 1275\u20131279. ACM, New York (2007)"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"de Roever, W.-P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and their Comparison. In: CUP (1998)","DOI":"10.1017\/CBO9780511663079"},{"issue":"13","key":"32_CR4","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1016\/S0950-5849(99)00044-0","volume":"41","author":"J. Derrick","year":"1999","unstructured":"Derrick, J., Boiten, E.A.: Calculating upward and downward simulations of state-based specifications. Information & Software Technology\u00a041(13), 917\u2013923 (1999)","journal-title":"Information & Software Technology"},{"key":"32_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0257-1","volume-title":"Refinement in Z and Object-Z","author":"J. Derrick","year":"2001","unstructured":"Derrick, J., Boiten, E.A.: Refinement in Z and Object-Z. Springer, Heidelberg (2001)"},{"key":"32_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/3-540-45800-X_18","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"G. Engels","year":"2002","unstructured":"Engels, G., Heckel, R., Malte K\u00fcster, J., Groenewegen, L.: Consistency-preserving model evolution through transformations. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 212\u2013226. Springer, Heidelberg (2002)"},{"key":"32_CR7","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Fowler","year":"2004","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison Wesley, Reading (2004)"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling\u00a08(1) (2009)","DOI":"10.1007\/s10270-008-0089-9"},{"key":"32_CR9","unstructured":"Groves, L.: A formal approach to program evolution. In: Proc. Workshop on Evolutionary Formal Software Development EFSD 2002 (July 2002)"},{"key":"32_CR10","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1145\/1062455.1062512","volume-title":"ICSE 2005: Proceedings of the 27th international conference on Software engineering","author":"J. Henkel","year":"2005","unstructured":"Henkel, J., Diwan, A.: Catchup!: capturing and replaying refactorings to support API evolution. In: ICSE 2005: Proceedings of the 27th international conference on Software engineering, pp. 274\u2013283. ACM, New York (2005)"},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"Kosiuczenko, P.: Redesign of UML class diagrams: a formal approach. Software and Systems Modeling\u00a08(2) (April 2009)","DOI":"10.1007\/s10270-007-0068-6"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Krishna, A., Ghose, A.K., Vilkomir, S.A.: Co-evolution of complementary formal and informal requirements. In: IWPSE 2004, pp. 159\u2013164 (2004)","DOI":"10.1109\/IWPSE.2004.1334782"},{"issue":"6","key":"32_CR13","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.: A behavioural notion of subtyping. ACM Transactions on Programming Languages and Systems\u00a016(6), 1811\u20131841 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"32_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-540-24721-0_5","volume-title":"Fundamental Approaches to Software Engineering","author":"T. McComb","year":"2004","unstructured":"McComb, T.: Refactoring Object-Z Specifications. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 69\u201383. Springer, Heidelberg (2004)"},{"key":"32_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/11813040_15","volume-title":"FM 2006: Formal Methods","author":"T. McComb","year":"2006","unstructured":"McComb, T., Smith, G.: Compositional class refinement in Object-Z. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 205\u2013220. Springer, Heidelberg (2006)"},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"Mens, T., Van Der Straeten, R., DHondt, M.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: Model Driven Engineering Languages and Systems (2006)","DOI":"10.1007\/11880240_15"},{"key":"32_CR17","unstructured":"Olsen, T., Grundy, J.: Supporting traceability and inconsistency management between software artefacts. In: International Conference on Software Engineering and Applications, IASTED Press (2002)"},{"key":"32_CR18","unstructured":"Opdyke, W.F.: Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois at Urbana-Champaign (1992)"},{"key":"32_CR19","unstructured":"Poppleton, M., Groves, L.: Software evolution with refinement and retrenchment. In: RCS 2003: 2nd Annual Workshop on Refinement of Critical Systems (June 2003)"},{"key":"32_CR20","doi-asserted-by":"crossref","unstructured":"Poppleton, M., Groves, L.: Formal perspectives on software evolution: from refinement to retrenchment. In: Software Evolution and Feedback: Theory and Practice, pp. 313\u2013338 (2006)","DOI":"10.1002\/0470871822.ch15"},{"key":"32_CR21","unstructured":"Roberts, D.B.: Practical Analysis For Refactoring. PhD thesis, University of Illinois at Urbana-Champaign (1999)"},{"key":"32_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-540-72952-5_15","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"T. Ruhroth","year":"2007","unstructured":"Ruhroth, T., Wehrheim, H.: Refactoring object-oriented specifications with data and processes. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 236\u2013251. Springer, Heidelberg (2007)"},{"key":"32_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"32_CR24","unstructured":"Stepney, S., Polack, F., Toyn, I.: A Z Patterns Catalogue I: Specification and refactorings, v0.1. Technical Report YCS-2003-349, University of York (2003)"},{"issue":"2","key":"32_CR25","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 Systems Modeling\u00a06(2), 139\u2013162 (2007)","journal-title":"Software and Systems Modeling"},{"key":"32_CR26","doi-asserted-by":"crossref","unstructured":"Vadera, S.: Proof by analogy in mural. Formal Aspects of Computing\u00a07 (1995)","DOI":"10.1007\/BF01211605"},{"issue":"2","key":"32_CR27","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1024764232069","volume":"23","author":"H. Wehrheim","year":"2003","unstructured":"Wehrheim, H.: Behavioral subtyping relations for active objects. Formal Methods in System Design\u00a023(2), 143\u2013170 (2003)","journal-title":"Formal Methods in System Design"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10373-5_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T07:22:46Z","timestamp":1739431366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10373-5_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642103728","9783642103735"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10373-5_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}