Yang, Hongji, Liu, Xiaodong and Zedan, Hussein (2000) Abstraction: a key notation for reverse engineering in a system re-engineering approach. Journal of Software Maintenance: Research and Practice, 12 (4). pp. 197-228.
Restricted to Registered users only
Available under License Creative Commons Attribution Non-commercial.
Download (226kB) | Request a copy
This paper advocates that extracting formal specification semantically consistent to the original legacy system will facilitate further redesign and forward engineering greatly. The three parts of reengineering could be integrated on the basis of a wide spectrum language. The key approach to comprehension and the production of formal specification is a notion of abstraction. Transformation can help to change the original source code into alternative forms, but with the same semantics. Abstraction is often interpreted as the act of hiding irrelevant details. What constitute as relevant details is often left open to different interpretations. A unified approach for reverse engineering is described within which the notion of abstraction is classified and precisely defined. Abstraction rules are given and applied to various case studies
|Uncontrolled Keywords:||reverse engineering; re-engineering; wide spectrum language; abstraction; object oriented; interval temporal logic;|
|University Divisions/Research Centres:||Faculty of Engineering, Computing and Creative Industries > School of Computing|
|Dewey Decimal Subjects:||600 Technology > 620 Engineering > 621 Electronic & mechanical engineering > 621.3 Electrical & electronic engineering > 621.38 Electronics & Communications engineering > 621.389 Computer engineering|
|Library of Congress Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Depositing User:||Computing Research|
|Date Deposited:||23 Jul 2010 12:56|
|Last Modified:||17 Sep 2013 13:17|
Actions (login required)
Downloads per month over past year