2013 IEEE International Conference on Software Maintenance (1998)
Mar. 16, 1998 to Mar. 19, 1998
Xiaodong Liu , De Montfort University
Hongji Yang , De Montfort University
Hussein Zedan , De Montfort University
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.
reverse engineering, re-engineering, wide spectrum language, abstraction, object oriented, Interval Temporal Logic.
Xiaodong Liu, Hongji Yang, Hussein Zedan, "Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach", 2013 IEEE International Conference on Software Maintenance, vol. 00, no. , pp. 284, 1998, doi:10.1109/ICSM.1998.738520