{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T20:02:51Z","timestamp":1710273771277},"reference-count":28,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5722,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Softw. Maint: Res. Pract."],"published-print":{"date-parts":[[2000,7]]},"DOI":"10.1002\/1096-908x(200007\/08)12:4<197::aid-smr211>3.0.co;2-x","type":"journal-article","created":{"date-parts":[[2005,1,27]],"date-time":"2005-01-27T16:47:37Z","timestamp":1106844457000},"page":"197-228","source":"Crossref","is-referenced-by-count":15,"title":["Abstraction: a key notion for reverse engineering in a system reengineering approach"],"prefix":"10.1002","volume":"12","author":[{"given":"Hongji","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaodong","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hussein","family":"Zedan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2000]]},"reference":[{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB1","first-page":"409","volume-title":"Proceedings of the 21st IEEE International Conference on Computer Software and Application (COMPSAC'97)","author":"Liu","year":"1997","unstructured":"Formal methods for the re-engineering of computing systems. Proceedings of the 21st IEEE International Conference on Computer Software and Application (COMPSAC'97), Washington DC, August 1997, IEEE Computer Society Press; 409-414."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB2","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1002\/(SICI)1096-908X(199603)8:2<117::AID-SMR126>3.0.CO;2-I","volume":"8","author":"Sere","year":"1996","journal-title":"Software Maintenance: Research and Practice"},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB3","doi-asserted-by":"crossref","DOI":"10.1109\/32.605763","volume":"23","author":"Holtzblatt","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB4","doi-asserted-by":"crossref","DOI":"10.1109\/32.502226","volume":"22","author":"Abd-El-Hafiz","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB5","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1002\/smr.4360070406","volume":"7","author":"Layzell","year":"1995","journal-title":"Software Maintenance: Research and Practice"},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB6","doi-asserted-by":"crossref","DOI":"10.1109\/32.585503","volume":"23","author":"Sitaraman","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/MS.1986.233411","volume":"3","author":"Arango","year":"1986","journal-title":"IEEE Software"},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB8","author":"Engberts","year":"1991","unstructured":"Concept recognition-based program transformation. IEEE Conference on Software Maintenance, Sorrento, Italy, 1991; 73-82."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB9","author":"Bennett","year":"1992","unstructured":"A transformation system for maintenance?turning theory into practice. IEEE Conference on Software Maintenance, Orlando, FL, November 1992."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB10","author":"Yang","year":"1994","unstructured":"Formal methods and software maintenance?some experience with the REFORM project. Workshop on Formal Methods, Position Paper, Monterey CA, September 1994."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB11","author":"Yang","year":"1995","unstructured":"Acquiring entity-relationship attribute diagrams from code and data through program transformation. IEEE International Conference on Software Maintenance (ICSM'95), Nice, France, October 1995."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB12","first-page":"214","volume-title":"Proceedings of the International Conference on Software Maintenance","author":"Howden","year":"1992","unstructured":"Problem domain, structural and logical abstractions in reverse engineering. Proceedings of the International Conference on Software Maintenance, November 1992, IEEE Computer Society Press; 214-224."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB13","volume-title":"Eighth International Conference on Software Engineering and Knowledge Engineering","author":"Balmas","year":"1996","unstructured":"Prisme: Formalizing programming strategies as a way to understand programs. Eighth International Conference on Software Engineering and Knowledge Engineering, Lake Tahoe, Nevada, June 1996. IEEE Computer Society."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB14","first-page":"137","volume":"2","author":"Cheng","year":"1994","journal-title":"Journal of Computer and Software Engineering"},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB15","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1109\/69.591458","volume":"9","author":"Cheng","year":"1997","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB16","doi-asserted-by":"crossref","DOI":"10.1007\/BF00126962","volume":"3","author":"Gannod","year":"1996","journal-title":"Journal of Automated Software Engineering"},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB17","author":"Gannod","year":"1996","unstructured":"Using informal and formal methods for the reverse engineering of c programs. Proceedings of IEEE International Conference on Software Maintenance, Monterey, CA, November 1996."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB18","author":"Ward","year":"1999","unstructured":"Assembler to C migration using the fermat transformation system. IEEE Conference on Software Maintenance, Oxford, England, 1999; 67-75."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB19","author":"Bull","year":"1995","unstructured":"Bylands: reverse engineering safety-critical systems. IEEE Conference on Software Maintenance, Nice, France, 1995."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB20","author":"Younger","year":"1996","unstructured":"Reverse engineering concurrent programs using formal modelling and analysis 1. IEEE International Conference on Software Maintenance, Washington DC, November 1996."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB21","volume-title":"Executing Temporal Logic Programs","author":"Moszkowski","year":"1986","unstructured":"Executing Temporal Logic Programs. Cambridge University Press: Cambridge, UK, 1986."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB22","author":"Cau","year":"1997","unstructured":"Refining interval temporal logic specifications. The 4th AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software (ARTS'97), Mallorca, Spain, May 1997."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0096-0551(96)00001-X","volume":"22","author":"Zedan","year":"1996","journal-title":"Computer Language"},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB24","author":"Scholefield","year":"1992","unstructured":"TAM: A formal framework for the development of distributed real-time systems. Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, Nijmegen, The Netherlands, January 1992."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB25","volume-title":"A Discipline of Programming","author":"Dijkstra","year":"1976","unstructured":"A Discipline of Programming. Prentice-Hall: Englewood Cliffs, NJ, 1976."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB26","author":"Kwiatkowski","year":"1998","unstructured":"Pre-processing cobol programs for reverse-engineering in a software maintenance tool. 1st US Colloquium on Object Technology and System Re-engineering, Oxford, England, April 1998."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB27","author":"Liu","year":"1997","unstructured":"A design framework for system re-engineering. Technical Report, STRL, Department of Computer Science, De Montfort University, England, July 1997."},{"key":"10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X-BIB28","author":"Liu","year":"1999","unstructured":"Abstraction: A notion for reverse engineering. PhD Thesis, De Montfort University, 1999."}],"container-title":["Journal of Software Maintenance: Research and Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F1096-908X(200007%2F08)12:4%3C197::AID-SMR211%3E3.0.CO;2-X","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/1096-908X(200007\/08)12:4%3C197::AID-SMR211%3E3.0.CO;2-X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T10:53:30Z","timestamp":1625136810000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/1096-908X(200007\/08)12:4<197::AID-SMR211>3.0.CO;2-X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,7]]}},"URL":"https:\/\/doi.org\/10.1002\/1096-908x(200007\/08)12:4<197::aid-smr211>3.0.co;2-x","relation":{},"ISSN":["1040-550X","1096-908X"],"issn-type":[{"value":"1040-550X","type":"print"},{"value":"1096-908X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}