Title :
A logic-based approach to reverse engineering tools production
Author :
Canfora, Gerardo ; Cimitile, Aniello ; De Carlini, Ugo
Author_Institution :
Dipatimento di Inf. e Sistemistica, Naples Univ., Italy
fDate :
12/1/1992 12:00:00 AM
Abstract :
Difficulties arising in the use of documents produced by reverse engineering tools are analyzed. With reference to intermodular data flow analysis for Pascal software systems, an interactive and evolutionary tool is proposed. The tool is based on the production of intermodular data flow information by static analysis of code, its representation in a Prolog program dictionary, and a Prolog abstractor that allows the specific queries to be answered
Keywords :
logic programming; software maintenance; software tools; Pascal software systems; Prolog abstractor; Prolog program dictionary; evolutionary tool; interactive tool; intermodular data flow analysis; query answering; reverse engineering tools; static analysis; Data analysis; Dictionaries; Information analysis; Layout; Production; Programming; Reverse engineering; Software maintenance; Software systems; Software tools;
Journal_Title :
Software Engineering, IEEE Transactions on
