Title
Abstraction: a key notion for reverse engineering in a system reengineering approach
Abstract
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. Copyright (C) 2000 John Wiley & Sons, Ltd.
Year
DOI
Venue
2000
3.3.CO;2-O" target="_self" class="small-link-text"10.1002/1096-908X(200007/08)12:43.3.CO;2-O
Journal of Software Maintenance
Keywords
Field
DocType
reverse engineering,key notion,interval temporal logic,object oriented,abstraction,reengineering
Programming language,Abstraction,Object-oriented programming,Software engineering,Computer science,Wide-spectrum language,Reverse engineering,Formal specification,Abstraction inversion,Legacy system,Semantics
Journal
Volume
Issue
ISSN
12
4
1040-550X
Citations 
PageRank 
References 
14
1.05
10
Authors
3
Name
Order
Citations
PageRank
Hongji Yang11039137.37
Xiaodong Liu23611.83
Hussein Zedan357247.38