{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:50:18Z","timestamp":1725486618192},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729198"},{"type":"electronic","value":"9783540729525"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-72952-5_15","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T08:10:08Z","timestamp":1182845408000},"page":"236-251","source":"Crossref","is-referenced-by-count":6,"title":["Refactoring Object-Oriented Specifications with Data and Processes"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Ruhroth","sequence":"first","affiliation":[]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Baar, T., Markovic\u0300., S.: A Graphical Approach to Prove the Semantic Preservation of UML\/OCL Refactoring Rules. Technical report, Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (2006)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/11813040_33","volume-title":"FM 2006: Formal Methods","author":"F. Bannwart","year":"2006","unstructured":"Bannwart, F., M\u00fcller, P.: Changing Programs Correctly: Refactoring with Specifications. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 492\u2013507. Springer, Heidelberg (2006)"},{"key":"15_CR3","series-title":"Eletronic Notes in Theoretical Computer Science","volume-title":"REFINE\u20192002","author":"M.L. Corn\u00e9lio","year":"2002","unstructured":"Corn\u00e9lio, M.L., Cavalcanti, A.L.C., Sampaio, A.C.A.: Refactoring by Transformation. In: REFINE\u20192002. Eletronic Notes in Theoretical Computer Science, vol.\u00a070, Elsevier, Amsterdam (2002)"},{"key":"15_CR4","unstructured":"Corn\u00e9lio, M.L.: Refactorings as Formal Refinment. PhD thesis, Universidade Federal de Pernambuco (2004)"},{"key":"15_CR5","doi-asserted-by":"publisher","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":"15_CR6","doi-asserted-by":"crossref","unstructured":"de Roever, W.-P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and their Comparison. CUP (1998)","DOI":"10.1017\/CBO9780511663079"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/11784180_11","volume-title":"Algebraic Methodology and Software Technology","author":"J. Derrick","year":"2006","unstructured":"Derrick, J., Wehrheim, H.: Model Transformations Incorporating Multiple Views. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, pp. 111\u2013126. Springer, Heidelberg (2006)"},{"key":"15_CR8","unstructured":"Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual (October 1997)"},{"key":"15_CR9","first-page":"423","volume-title":"FMOODS \u201997","author":"C. Fischer","year":"1997","unstructured":"Fischer, C.: A combination of Object-Z and CSP. In: FMOODS \u201997, vol.\u00a02, pp. 423\u2013438. Chapman & Hall, Sydney, Australia (1997)"},{"key":"15_CR10","unstructured":"Fischer, C.: Combination and Implementation of Processes and Data: from CSP-OZ to Java. PhD thesis, University of Oldenburg (2000)"},{"key":"15_CR11","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":"15_CR12","volume-title":"Communicating sequential processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-31959-7_1","volume-title":"Recent Trends in Algebraic Development Techniques","author":"R. Heckel","year":"2005","unstructured":"Heckel, R., Th\u00f6ne, S.: Behavior-preserving refinement relations between dynamic software architectures. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 1\u201327. Springer, Heidelberg (2005)"},{"key":"15_CR14","first-page":"145","volume-title":"HCC","author":"J. K\u00fcster","year":"2003","unstructured":"K\u00fcster, J., Heckel, R., Engels, G.: Defining and validating transformations of UML models. In: HCC, pp. 145\u2013152. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"issue":"4","key":"15_CR16","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1002\/smr.316","volume":"17","author":"T. Mens","year":"2005","unstructured":"Mens, T., Van Eetvelde, N., Demeyer, S., Janssens, D.: Formalizing refactorings with graph transformations. Journal of Software Maintenance\u00a017(4), 247\u2013276 (2005)","journal-title":"Journal of Software Maintenance"},{"key":"15_CR17","first-page":"77","volume-title":"ASWEC\u201904","author":"T. McComb","year":"2004","unstructured":"McComb, T., Smith, G.: Architectural Design in Object-Z. In: ASWEC\u201904. Australian Software Engineering Conference, pp. 77\u201386. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"15_CR18","unstructured":"McComb, T., Smith, G.: Refactoring object-oriented specifications: A process for deriving designs. Technical Report SSE-2006-01, University of Queensland, Australia (May 2006)"},{"issue":"2","key":"15_CR19","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 Trans. Software Eng.\u00a030(2), 126\u2013139 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"15_CR20","volume-title":"The Theory and Practice of Concurrency","author":"W. Roscoe","year":"1997","unstructured":"Roscoe, W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"15_CR21","unstructured":"Ruhroth, Th.: Refactoring Object-Z Specifications. In: 18th Nordic Workshop on Programming Theory (2006)"},{"key":"15_CR22","first-page":"71210","volume-title":"Proceedings of the 2006 ACM Symposium on Applied Computing","author":"R. Straeten Van Der","year":"2006","unstructured":"Van Der Straeten, R., D\u2019Hondt, M.: Model refactorings through rule-based inconsistency resolution. In: B\u00e9zivin, J. (ed.) Proceedings of the 2006 ACM Symposium on Applied Computing, pp. 71210\u201371217. ACM Press, New York (2006)"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Smith, G.: The Object-Z Specification Language. KAP (2000)","DOI":"10.1007\/978-1-4615-5265-9"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72952-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T12:24:47Z","timestamp":1550406287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72952-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540729198","9783540729525"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72952-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}