{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:41:24Z","timestamp":1725514884159},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682356"},{"type":"electronic","value":"9783540682370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68237-0_25","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T05:36:00Z","timestamp":1212557760000},"page":"358-373","source":"Crossref","is-referenced-by-count":0,"title":["Introducing Objects through Refinement"],"prefix":"10.1007","author":[{"given":"Tim","family":"McComb","sequence":"first","affiliation":[]},{"given":"Graeme","family":"Smith","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Corn\u00e9lio, M., Cavalcanti, A., Sampaio, A.: Refactoring by Transformation. Electronic Notes in Theoretical Computer Science\u00a070(3) (2002)","DOI":"10.1016\/S1571-0661(05)82564-2"},{"issue":"10","key":"25_CR2","first-page":"1580","volume":"11","author":"A.M. Cruz","year":"2005","unstructured":"Cruz, A.M., Barbosa, L.S., Oliveira, J.N.: From algebras to objects: Generation and composition. J. UCS\u00a011(10), 1580\u20131612 (2005)","journal-title":"J. UCS"},{"key":"25_CR3","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":"25_CR4","first-page":"423","volume-title":"FMOODS 1997","author":"C. Fischer","year":"1997","unstructured":"Fischer, C.: CSP-OZ \u2013 a combination of CSP and Object-Z. In: Bowman, H., Derrick, J. (eds.) FMOODS 1997, pp. 423\u2013438. Chapman and Hall, Boca Raton (1997)"},{"key":"25_CR5","volume-title":"Modelling Systems: Practical Tools and Techniques for Software Development","author":"J. Fitzgerald","year":"1998","unstructured":"Fitzgerald, J., Larsen, P.G.: Modelling Systems: Practical Tools and Techniques for Software Development. Cambridge University Press, Cambridge (1998)"},{"key":"25_CR6","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison\u2013Wesley, Reading (1999)"},{"key":"25_CR7","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":"25_CR8","first-page":"99","volume-title":"FMOODS 1996","author":"K. Lano","year":"1996","unstructured":"Lano, K., Goldsack, S.: Refinement of Distributed Object Systems. In: Najm, E., Stefani, J.-B. (eds.) FMOODS 1996, pp. 99\u2013114. Chapman and Hall, Boca Raton (1996)"},{"key":"25_CR9","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":"25_CR10","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":"25_CR11","unstructured":"Opdyke, W.F.: Refactoring Object-Oriented Frameworks. PhD thesis, Computer Science Department, Urbana-Champaign, IL, USA (May 1992)"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Periyasamy, K., Mathew, C.: Mapping a functional specification to an object-oriented specification in software re-engineering. In: ACM Conference on Computer Science, pp. 24\u201333 (1996)","DOI":"10.1145\/228329.228331"},{"key":"25_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11768869_11","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"R. Ramos","year":"2006","unstructured":"Ramos, R., Sampaio, A., Mota, A.: Transformation laws for UML-RT. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 123\u2013137. Springer, Heidelberg (2006)"},{"key":"25_CR14","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"25_CR15","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":"25_CR16","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":"25_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1007\/3-540-36103-0_60","volume-title":"Formal Methods and Software Engineering","author":"G. Smith","year":"2002","unstructured":"Smith, G.: Introducing Reference Semantics via Refinement. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol.\u00a02495, pp. 588\u2013599. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","FM 2008: Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68237-0_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:43:40Z","timestamp":1620017020000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68237-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682356","9783540682370"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68237-0_25","relation":{},"subject":[]}}