Research Output

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

  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.

  • Date:

    28 February 1998

  • Publication Status:

    Published

  • Publisher

    ICSM

  • DOI:

    10.1109/ICSM.1998.738520

  • Library of Congress:

    QA75 Electronic computers. Computer science

Citation

Yang, H., Liu, X. & Zedan, H. (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), 284. doi:10.1109/ICSM.1998.738520. ISBN 0-8186-8779-7

Authors

Keywords

reverse engineering; restructuring; comprehension; production; formal specification; abstraction; wide spectrum language; re-engineering; object-oriented; interval temporal logic;

Available Documents