Issue No. 12 - December (1992 vol. 18)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.184760
<p>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.</p>
interactive tool; query answering; reverse engineering tools; intermodular data flow analysis; Pascal software systems; evolutionary tool; static analysis; Prolog program dictionary; Prolog abstractor; logic programming; software maintenance; software tools
G. Canfora, U. de Carlini and A. Cimitile, "A Logic-Based Approach to Reverse Engineering Tools Production," in IEEE Transactions on Software Engineering, vol. 18, no. , pp. 1053-1064, 1992.