Tackling the abstraction problem for reverse engineering in a system re-engineering approach.

Yang, Hongji, Liu, Xiaodong and Zedan, Hussein (1998) Tackling the abstraction problem for reverse engineering in a system re-engineering approach. In: the proceedings of the IEEE Conference on Software Maintenance (ICSM'98). ICSM, Metropolitan, Washington D.C., USA, p. 284. ISBN 0-8186-8779-7

Full text not available from this repository. (Request a copy)


It is widely accepted that reverse engineering has three components: restructuring, comprehension and production of formal specification. In this paper, we advocate that the three components could be achieved in a systematic approach by successfully applying a series of sound rules.The key approach to comprehension and the production of formal specification is a notion of abstraction. 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 small examples.

Item Type: Book Section
ISBN: 0-8186-8779-7
Additional Information: paper presented at 14th IEEE International Conference on Software Maintenance (ICSM'98), Bethesda, Maryland 16th-19th March 1998
Uncontrolled Keywords: reverse engineering; restructuring; comprehension; production; formal specification; abstraction; wide spectrum language; re-engineering; 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
000 Computer science, information & general works > 000 Computer science, knowledge & systems > 005 Computer programming, programs & data
Library of Congress Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Item ID: 3227
Depositing User: Computing Research
Date Deposited: 23 Jul 2010 12:56
Last Modified: 04 Apr 2014 12:29

Actions (login required)

View Item View Item

Edinburgh Napier University is a registered Scottish charity. Registration number SC018373