{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:21:41Z","timestamp":1725560501843},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213055"},{"type":"electronic","value":"9783540247210"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24721-0_5","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:15:12Z","timestamp":1280276112000},"page":"69-83","source":"Crossref","is-referenced-by-count":12,"title":["Refactoring Object-Z Specifications"],"prefix":"10.1007","author":[{"given":"Tim","family":"McComb","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BFb0054286","volume-title":"Mathematics of Program Construction","author":"M. Bonsangue","year":"1998","unstructured":"Bonsangue, M., Kok, J., Sere, K.: An Approach to Object-Orientation in Action Systems. In: Jeuring, J. (ed.) MPC 1998. LNCS, vol.\u00a01422, pp. 68\u201395. Springer, Heidelberg (1998)"},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-0-387-35562-7_3","volume-title":"Proc. of the 3rd IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 1999)","author":"M. Bonsangue","year":"1999","unstructured":"Bonsangue, M., Kok, J., Sere, K.: Developing object-based distributed systems. In: Proc. of the 3rd IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 1999), pp. 19\u201334. Kluwer, Dordrecht (1999)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/BFb0053033","volume-title":"ECOOP \u201992 European Conference on Object-Oriented Programming","author":"E. Casais","year":"1992","unstructured":"Casais, E.: An incremental class reorganization approach. In: Lehrmann Madsen, O. (ed.) ECOOP 1992. LNCS, vol.\u00a0615, pp. 114\u2013132. Springer, Heidelberg (1992)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Cornelio, M., Cavalcanti, A., Sampaio, A.: Refactoring by Transformation. In: Proc. of REFINE 2002. Electronic Notes in Theoretical Computer Science, July 2002. Elsevier, Amsterdam (2002)","DOI":"10.1016\/S1571-0661(05)82564-2"},{"key":"5_CR5","series-title":"FACIT Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0257-1","volume-title":"Refinement in Z and Object-Z: Foundations and Advanced Applications","author":"J. Derrick","year":"2001","unstructured":"Derrick, J., Boiten, E.: Refinement in Z and Object-Z: Foundations and Advanced Applications. FACIT Series. Springer, Heidelberg (2001)"},{"key":"5_CR6","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (1999)"},{"issue":"4","key":"5_CR7","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/249118.249124","volume":"31","author":"S. Goldsack","year":"1996","unstructured":"Goldsack, S., Lano, K.: Annealing and data decomposition in VDM. ACM Sigplan Notices\u00a031(4), 32\u201338 (1996)","journal-title":"ACM Sigplan Notices"},{"key":"5_CR8","first-page":"42","volume-title":"Asia Pacific Software Engineering Conference (APSEC 1997)","author":"D. Hazel","year":"1997","unstructured":"Hazel, D., Strooper, P., Traynor, O.: Possum: An animator for the SUM specification language. In: Wong, W., Leung, K. (eds.) Asia Pacific Software Engineering Conference (APSEC 1997), pp. 42\u201351. IEEE Computer Society, Los Alamitos (1997)"},{"key":"5_CR9","volume-title":"Smalltalk: An Introduction to Application Development Using VisualWorks","author":"T. Hopkins","year":"1995","unstructured":"Hopkins, T., Horan, B.: Smalltalk: An Introduction to Application Development Using VisualWorks. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"5_CR10","volume-title":"Proc. of Workshop on Formal Methods for Open Object-based Distributed Systems","author":"K. Lano","year":"1996","unstructured":"Lano, K., Goldsack, S.: Refinement of distributed object systems. In: Proc. of Workshop on Formal Methods for Open Object-based Distributed Systems. Chapman and Hall, Boca Raton (1996)"},{"key":"5_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3073-4","volume-title":"Formal Object-oriented Development","author":"K. Lano","year":"1995","unstructured":"Lano, K.: Formal Object-oriented Development. Springer, Heidelberg (1995)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Lu, J.: Introducing data decomposition into VDM for tractable development of programs. ACM SIGPLAN Notices\u00a030(9) (September 1995)","DOI":"10.1145\/214448.214460"},{"issue":"4","key":"5_CR13","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1109\/TSE.1979.234198","volume":"5","author":"Z. Manna","year":"1979","unstructured":"Manna, Z., Waldinger, R.: Synthesis: Dreams \n                    \n                      \n                    \n                    $\\Rightarrow$\n                   programs. IEEE Transactions on Software Engineering\u00a05(4), 294\u2013328 (1979)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-45832-8_22","volume-title":"Graph Transformation","author":"T. Mens","year":"2002","unstructured":"Mens, T., Demeyer, S., Janssens, D.: Formalising behaviour preserving program transformations. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 286\u2013301. Springer, Heidelberg (2002)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"FME \u201997 Industrial Applications and Strengthened Foundations of Formal Methods","author":"A. Mikhajlova","year":"1997","unstructured":"Mikhajlova, A., Sekerinski, E.: Class refinement and interface refinement in object\u2013oriented programs. In: Fitzgerald, J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol.\u00a01313. Springer, Heidelberg (1997)"},{"key":"5_CR16","first-page":"235","volume-title":"OOPSLA 1996: Proc. Object-Oriented Programming Systems, Languages, and Applications","author":"I. Moore","year":"1996","unstructured":"Moore, I.: Automatic inheritance hierarchy restructuring and method refactoring. In: OOPSLA 1996: Proc. Object-Oriented Programming Systems, Languages, and Applications, pp. 235\u2013250. ACM Press, New York (1996)"},{"key":"5_CR17","unstructured":"Morgan, C.C.: Programming from Specifications, 2nd edn. Prentice Hall International Series in Computer Science (1994)"},{"key":"5_CR18","unstructured":"Opdyke, W.F.: Refactoring Object-Oriented Frameworks. PhD thesis, Computer Science Department, Urbana-Champaign, IL, USA (May 1992)"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1002\/(SICI)1096-9942(1997)3:4<253::AID-TAPO3>3.0.CO;2-T","volume":"3","author":"D. Roberts","year":"1997","unstructured":"Roberts, D., Brant, J., Johnson, R.: A refactoring tool for Smalltalk. Theory and Practice of Object Systems\u00a03, 253\u2013263 (1997)","journal-title":"Theory and Practice of Object Systems"},{"key":"5_CR20","volume-title":"Third ACM SIGPLAN Workshop on Rule-Based Programming","author":"R. L\u00e4mmel","year":"2002","unstructured":"L\u00e4mmel, R.: Towards generic refactoring. In: Third ACM SIGPLAN Workshop on Rule-Based Programming. ACM Press, New York (2002)"},{"issue":"3","key":"5_CR21","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01211075","volume":"7","author":"G. Smith","year":"1995","unstructured":"Smith, G.: A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing\u00a07(3), 289\u2013313 (1995)","journal-title":"Formal Aspects of Computing"},{"key":"5_CR22","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, Dordrecht (2000)"}],"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-540-24721-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T19:29:59Z","timestamp":1548444599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24721-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213055","9783540247210"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24721-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}