Title :
A logic based approach to reverse engineering tools production
Author :
Canfora, G. ; Cimitile, A. ; De Carlini, U.
Author_Institution :
Istituto per la Ricerca sui Sistemi Inf. Paralleli, Naples Univ., Italy
Abstract :
Some of the reasons for difficulties arising in the use of design documents produced by reverse engineering tools are analyzed. With reference to intermodular dataflow analysis for Pascal software systems, an interactive tool is proposed to more effectively help the maintainer. The tool is based on: the production of intermodular dataflow information by static analysis of the code; their representation in a Prolog program dictionary; and a Prolog abstractor that allows specific queries of maintainers to be answered. A logic-based approach to the design and implementation of an interactive tool which analyzes the intermodularal data flow of a program is discussed
Keywords :
PROLOG; logic programming; program diagnostics; software maintenance; software tools; Pascal software systems; Prolog abstractor; Prolog program dictionary; design documents; interactive tool; intermodular dataflow analysis; logic-based approach; reverse engineering tools production; static analysis; Councils; Data analysis; Dictionaries; Information analysis; Logic design; Production; Programming; Reverse engineering; Software maintenance; Software systems;
Conference_Titel :
Software Maintenance, 1991., Proceedings. Conference on
Conference_Location :
Sorrento
Print_ISBN :
0-8186-2325-X
DOI :
10.1109/ICSM.1991.160310