{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:40:05Z","timestamp":1748072405413,"version":"3.41.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[1998,7]]},"DOI":"10.1023\/a:1008656708551","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"321-345","source":"Crossref","is-referenced-by-count":6,"title":["Transformations to Restructure and Re\u2013engineer COBOL Programs"],"prefix":"10.1007","volume":"5","author":[{"given":"Terence J.","family":"Harmer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick J.","family":"McParland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James M.","family":"Boyle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"164686_CR1","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1016\/0950-5849(91)90026-8","volume":"33","author":"K.H. Bennett","year":"1991","unstructured":"Bennett K.H. (1991). Automated Support of Software Maintenance, Information and Software Technology, 33:74-85.","journal-title":"Automated Support of Software Maintenance, Information and Software Technology"},{"key":"164686_CR2","unstructured":"Boyle J.M., Harmer T.J. and Winter V.W. (1996). The TAMPR Program Transformation System, Proceedings of the Durham Transformation Workshop, 1-2 April."},{"key":"164686_CR3","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/978-1-4612-1986-6_17","volume-title":"Modern Software Tools for Scientific Computing","author":"J.M. Boyle","year":"1997","unstructured":"Boyle J.M., Harmer T.J. and Winter V.W. (1997). The TAMPR Program Transformation System: Simplifying the Development of Numerical Software, In Modern Software Tools for Scientific Computing, editors Arge, Erland and Bruaset, Are Magnus and Langtangen, Hans Petter, pages 353\u2013372, Birhauser, Boston."},{"key":"164686_CR4","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1109\/TSE.1984.5010281","volume":"10","author":"J.M. Boyle","year":"1984","unstructured":"Boyle J.M. and Muralidharan M.N (1984). Program reusability through program transformation, IEEE Trans. Software Eng., 10:574-88.","journal-title":"IEEE Trans. Software Eng."},{"key":"164686_CR5","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1017\/S0956796800000289","volume":"2","author":"J.M. Boyle","year":"1992","unstructured":"Boyle J.M. and Harmer T.J. (1992). A Practical Functional Program for the CRAY X-MP, Journal of Functional Programming, 2:81-126.","journal-title":"Journal of Functional Programming"},{"key":"164686_CR6","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1049\/sej.1993.0031","volume":"8","author":"J. Bowen","year":"1993","unstructured":"Bowen J., Breuer P. and Lano K. (1993). A compendium of formal techniques for software maintenance, Software Engineering Journal, 8:253-262.","journal-title":"Software Engineering Journal"},{"key":"164686_CR7","doi-asserted-by":"crossref","unstructured":"Burson S., Kotik G.B. and Markosian L.Z. (1990). A Program Transformation Approach to Automating Software Re-engineering, Proc. 14th Annual Int. Computer Software & Applications Conference (COMPSAC), pages 314-322.","DOI":"10.1109\/CMPSAC.1990.139375"},{"key":"164686_CR8","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M Burstall","year":"1977","unstructured":"Burstall R.M and Darlington J. (1977). A Transformation System for Developing Recursive Programs, ACM Journal, 24:44\u201367.","journal-title":"ACM Journal"},{"key":"164686_CR9","doi-asserted-by":"crossref","unstructured":"Edwards H.M. and Munro M. (1993). RECAST: reverse engineering from COBOL to SSADM specification, Proceedings the International Conference on Software Engineering, pages 499-508, IEEE Computer Society Press.","DOI":"10.1109\/ICSE.1993.346016"},{"key":"164686_CR10","unstructured":"Kozaczynski W., Ning J.Q. and Engberts A. (1993). Concept recognition-based program transformation, Proceedings of the International Conference on Software Maintenance, pages 73-82, IEEE Computer Society Press 73-82."},{"key":"164686_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6423(96)00015-9","volume":"28","author":"S. Fitzpatrick","year":"1997","unstructured":"Fitzpatrick S., Harmer T.J., Stewart A., Clint M. and Boyle JM (1997). The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations, Science of Computer Programming, 28:1\u201341.","journal-title":"Science of Computer Programming"},{"key":"164686_CR12","doi-asserted-by":"publisher","first-page":"1065","DOI":"10.1109\/32.184761","volume":"18","author":"W. Kozaczynski","year":"1992","unstructured":"Kozaczynski W., Ning J.Q. and Engberts A. (1992). Program concept recognition and transformation, IEEE Trans. Software Eng., 18:1065-1075.","journal-title":"IEEE Trans. Software Eng."},{"key":"164686_CR13","unstructured":"Sommerville I. (1996). Software Engineering, Addison-Wesley."},{"key":"164686_CR14","doi-asserted-by":"publisher","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"W. Smith","year":"1990","unstructured":"Smith W. (1990). KIDS: A Semiautomatic Program Development System, IEEE Transactions on Software Engineering, 16:1024-1043.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"164686_CR15","doi-asserted-by":"crossref","first-page":"795","DOI":"10.1093\/comjnl\/37.9.795","volume":"37","author":"M.P. Ward","year":"1995","unstructured":"Ward M.P. (1995). Reverse Engineering through formal transformations: Knuth's' polynomial addition' algorithm, Computer Journal, 37:795-813.","journal-title":"Computer Journal"},{"key":"164686_CR16","unstructured":"Winter, V.W. and Boyle, J.M. (1996). Proving Refinement Transformations for Deriving High-Assurance Software, Proceedings of the IEEE High-Assurance Systems Engineering Workshop, Niagara on the Lake, Ontario, Canada, Oct. 22, 1996."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008656708551.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008656708551\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008656708551.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:03:43Z","timestamp":1748070223000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008656708551"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,7]]}},"alternative-id":["164686"],"URL":"https:\/\/doi.org\/10.1023\/a:1008656708551","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[1998,7]]}}}