{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:37:54Z","timestamp":1725593874848},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642219511"},{"type":"electronic","value":"9783642219528"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21952-8_4","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T06:33:12Z","timestamp":1309242792000},"page":"20-35","source":"Crossref","is-referenced-by-count":4,"title":["Automated Translation of Java Source Code to Eiffel"],"prefix":"10.1007","author":[{"given":"Marco","family":"Trudel","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Oriol","sequence":"additional","affiliation":[]},{"given":"Carlo A.","family":"Furia","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Nordio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0164-1212(96)00171-9","volume":"39","author":"B.L. Achee","year":"1997","unstructured":"Achee, B.L., Carver, D.L.: Creating object-oriented designs from legacy FORTRAN code. Journal of Systems and Software\u00a039(2), 179\u2013194 (1997)","journal-title":"Journal of Systems and Software"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Canfora, G., Cimitile, A., Lucia, A.d., Lucca, G.A.D.: A case study of applying an eclectic approach to identify objects in code. In: IWPC, pp. 136\u2013143 (1999)","DOI":"10.1109\/WPC.1999.777752"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Cordy, J.R.: Source transformation, analysis and generation in TXL. In: PEPM, pp. 1\u201311 (2006)","DOI":"10.1145\/1111542.1111544"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"de Lucia, A., Di Lucca, G.A., Fasolino, A.R., Guerra, P., Petruzzelli, S.: Migrating legacy systems towards object-oriented platforms. In: Proc. of ICSM, pp. 122\u2013129 (1997)","DOI":"10.1109\/ICSM.1997.624238"},{"issue":"10","key":"4_CR5","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/74878.74886","volume":"24","author":"W.C. Dietrich","year":"1989","unstructured":"Dietrich, W.C., Nackman Jr., L.R., Gracer, F.: Saving legacy with objects. SIGPLAN Not.\u00a024(10), 77\u201383 (1989)","journal-title":"SIGPLAN Not."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Gall, H., Klosch, R.: Finding objects in procedural programs: an alternative approach. In: WCRE, pp. 208\u2013216 (1995)","DOI":"10.1109\/WCRE.1995.514709"},{"key":"4_CR7","unstructured":"Google Web toolkit (2010), http:\/\/code.google.com\/webtoolkit\/"},{"key":"4_CR8","unstructured":"J2Eif. The Java to Eiffel translator (2010), http:\/\/jaftec.origo.ethz.ch"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Kontogiannis, K., Patil, P.: Evidence driven object identification in procedural code. In: STEP, pp. 12\u201321 (1999)","DOI":"10.1109\/STEP.1999.798403"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Reliable Software Technologies - Ada-Europe 2004","year":"2004","unstructured":"Llamos\u00ed, A., Strohmeier, A. (eds.): Ada-Europe 2004. LNCS, vol.\u00a03063. Springer, Heidelberg (2004)"},{"key":"4_CR11","unstructured":"Mauve project (2010), http:\/\/sources.redhat.com\/mauve\/"},{"key":"4_CR12","unstructured":"Mcilroy, D.: Mass-produced software components. In: ICSE, pp. 88\u201398 (1968)"},{"key":"4_CR13","unstructured":"Meyer, B.: The component combinator for enterprise applications. In: JOOP, vol.\u00a010(8), pp. 5\u20139 (1998)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Millham, R.: An investigation: reengineering sequential procedure-driven software into object-oriented event-driven software through UML diagrams. In: COMPSAC, 2002, pp. 731\u2013733 (2002)","DOI":"10.1109\/CMPSAC.2002.1045088"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"M\u00fcller, P., Nordio, M.: Proof-Transforming Compilation of Programs with Abrupt Termination. In: SAVCBS 2007, Dubrovnik, Croatia, pp. 39\u201346 (2007)","DOI":"10.1145\/1292316.1292321"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Newcomb, P., Kotik, G.: Reengineering procedural into object-oriented systems. In: WCRE, pp. 237\u2013249 (1995)","DOI":"10.1109\/WCRE.1995.514712"},{"key":"4_CR17","unstructured":"Nordio, M.: Proofs and Proof Transformations for Object-Oriented Programs. PhD thesis, ETH Zurich (2009)"},{"key":"4_CR18","unstructured":"Postema, M., Schmidt, H.W.: Reverse engineering and abstraction of legacy systems. Informatica, 37\u201355 (1998)"},{"issue":"1","key":"4_CR19","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/S0164-1212(02)00020-1","volume":"64","author":"M.A. Serrano","year":"2002","unstructured":"Serrano, M.A., Carver, D.L., de Oca, C.M.: Reengineering legacy systems for distributed environments. J. Syst. Softw.\u00a064(1), 37\u201355 (2002)","journal-title":"J. Syst. Softw."},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Sneed, H.M.: Migration of procedurally oriented cobol programs in an object-oriented architecture. In: Software Maintenance, pp. 105\u2013116 (1992)","DOI":"10.1109\/ICSM.1992.242552"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Subramaniam, G.V., Byrne, E.J.: Deriving an object model from legacy Fortran code. In: ICSM, pp. 3\u201312 (1996)","DOI":"10.1109\/ICSM.1996.564983"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Wiggerts, T., Bosma, H., Fielt, E.: Scenarios for the identification of objects in legacy systems. In: WCRE, pp. 24\u201332 (1997)","DOI":"10.1109\/WCRE.1997.624573"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Yeh, A., Harris, D., Reubenstein, H.: Recovering abstract data types and object instances from a conventional procedural language. In: WCRE, pp. 227\u2013236 (1995)","DOI":"10.1109\/WCRE.1995.514711"},{"key":"4_CR24","unstructured":"Zou, Y., Kontogiannis, K.: A framework for migrating procedural code to object-oriented platforms. In: APSEC, pp. 390\u2013399 (2001)"}],"container-title":["Lecture Notes in Computer Science","Objects, Models, Components, Patterns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21952-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T12:38:00Z","timestamp":1560343080000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21952-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642219511","9783642219528"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21952-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}