{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:57:11Z","timestamp":1725512231099},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540708803"},{"type":"electronic","value":"9783540708810"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70881-0_9","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T20:07:32Z","timestamp":1186171652000},"page":"70-83","source":"Crossref","is-referenced-by-count":9,"title":["A Graphical Approach to Prove the Semantic Preservation of UML\/OCL Refactoring Rules"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Baar","sequence":"first","affiliation":[]},{"given":"Slavi\u0161a","family":"Markovi\u0107","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Astels, D.: Refactoring with UML. In: International Conference eXtreme Programming and Flexible Processes in Software Engineering, pp. 67\u201370 (2002)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","first-page":"134","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"J.-M. J\u00e9z\u00e9quel","year":"2001","unstructured":"J\u00e9z\u00e9quel, J.-M., et al.: Refactoring UML Models. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 134\u2013148. Springer, Heidelberg (2001)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/11557432_21","volume-title":"Model Driven Engineering Languages and Systems","author":"S. Markovi\u0107","year":"2005","unstructured":"Markovi\u0107, S., Baar, T.: Refactoring OCL annotated UML class diagrams. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 280\u2013294. Springer, Heidelberg (2005)"},{"issue":"2","key":"9_CR4","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":"9_CR5","unstructured":"OMG: UML 2.0 OCL Specification \u2013 OMG Final Adopted Specification. OMG Document ptc\/03-10-14 (Oct. 2003)"},{"key":"9_CR6","unstructured":"Opdyke, W.F.: Refactoring: A Program Restructuring Aid in Designing Object-Oriented Application Frameworks. PhD thesis, University of Illinois at Urbana-Champaign (1992)"},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1002\/smr.316","volume":"17","author":"T. Mens","year":"2005","unstructured":"Mens, T., et al.: Formalizing refactorings with graph transformations. Journal of Software Maintenance and Evolution\u00a017(4), 247\u2013276 (2005)","journal-title":"Journal of Software Maintenance and Evolution"},{"key":"9_CR8","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"2005","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 2nd edn. Addison-Wesley, Reading (2005)","edition":"2"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","first-page":"660","volume-title":"Model Driven Engineering Languages and Systems","author":"S. Markovi\u0107","year":"2006","unstructured":"Markovi\u0107, S., Baar, T.: An OCL semantics specified with QVT. In: Nierstrasz, O., et al. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 660\u2013674. Springer, Heidelberg (2006)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-3-540-30187-5_13","volume-title":"<<UML>> 2004 - The Unified Modeling Language","author":"A. Correa","year":"2004","unstructured":"Correa, A., Werner, C.: Applying refactoringtechniques to UML\/OCL. In: Baar, T., et al. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 173\u2013187. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70881-0_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:11:09Z","timestamp":1605762669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70881-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540708803","9783540708810"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70881-0_9","relation":{},"subject":[]}}