A Logic-Based Approach To Reverse Engineering Tools Production

IEEE Transactions on Software Engineering

Volumn 18, Issue 12, 1992, Pages 1053-1064

  Canfora, Gerardo ^a   Cimitile, Aniello ^a   de Carlini, Ugo ^a  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Case tools; data flow analysis; logic programming; maintenance; reverse engineering

Indexed keywords

EID: 0000747280     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.184760     Document Type: Article

References (44)

1. H. B. Holbrook and S. M. Thebaut, “A survey of software maintenance tools that enhance program understanding,” SERC-TR-9-F, Software Engineering Research Center, Univ. Florida/Purdue Univ., 1987.
2. H. B. Holbrook and S. M. Thebaut, “Special issue on case tools for reverse engineering,” Case Outlook, vol. 2, pp. 1–15, 1988.
3. B. Wachtel, “Case considered tricky,” Soft. Maint. News, vol. 7, 1989.
4. G. Canfora and F. Vargiu, “Reverse-engineering and visual environments: The VAPS project,” in Proc. Workshop on Reverse Eng., CUEN, 141–175, 1991.
5. J. Ferrante, K. Ottenstein, and J.Warren, “The program dependence graph and its use in optimization,” ACM Trans. Progr. Lang, and Svst., vol. 9, pp. 319–349, 1987.
6. S. Horwitz and T. Reps, “The use of program dependence graphs in software engineering,” in Proc. 14th fnt. Conf. Software Eng., pp. 392–411, 1992.
7. A. Maggiolo-Schettini, M. Napoli, and G. Tortora, “Web stuctures: A tool for representing and manipulating programs,” IEEE Trans. Software Eng., vol. SE-14, pp. 1597–1609, 1988.
8. F. P. Brooks, “No silver bullet: Essens and accident of software engineering,” IEEE Computer, vol. 20, pp. 10–19, 1987.
9. B. Devambu, R. J. Brachman, P. G. Selfridge, and B.W. Ballard, “LASSIE: A knowledge-based software information system,” Commun. ACM, vol. 34, pp. 35–49, 1991.
10. G. Forte, “Tools fair: Out of the lab, onto the shelf,” IEEE Software, vol. 9, pp. 70–79, 1992.
11. G. Canfora and A. Cimitile, “Reverse engineering and intermodular data flow: A theoretical approach,” J. Soft. Maintenace: Res. and Pract., vol. 4, pp. 37–59, 1992.
12. G. Canfora and A. Cimitile, “LIS: A software engineering laboratory for software maintenance,” in Proc. Software Eng. Symp. 1991, 1991.
13. P. T. Devanbu, “GENOA—A customizable, language-and front-end independent code analyzer,” in Proc. 14th Int. Conf. on Software Eng., pp. 307–319, 1992.
14. H. Huang, K. Sugihara, and I. Miyamoto, “A rule based tool for reverse engineering from source code to graphical model,” in Proc. 4th Int. Conf. on Software Eng. and Knowledge Eng., pp. 178–185, 1992.
15. F. J. LuKey, “Understanding and debbugging programs,” Int. J. Man-Machine Studies, vol. 12, pp. 189–202, 1980.
16. M. T. Harandi and J. O. Ning, “Knowledge based program analysis,” IEEE Software, vol. 7, pp. 74–80, 1990.
17. V. R. Basili and J. D. Musa, “The future of software: A management perspective,” IEEE Computer, vol. 24, pp. 74–80, 1991.
18. P. Ciancarini and G. Levi, “What is logic programming good for software engineering?” Keynote Speech, 4th Int. Conf, on Software Eng. and Knowledge Eng., 1992.
19. J. R. Callahan and J. M. Purtilo, “A packaging system for heterogeneous execution environments,” IEEE Trans. Software Eng., vol. 17, pp. 626–635, 1991.
20. V. DeLeo, M. Napoli, G. Nota, and G. Tortora, “Testing programs by queries,” in Proc. 3rd Int. Conf. on Software Eng. and Knowledge Eng., 241–248, 1991.
21. B. Peuschel and W. Schafer, “Concept and implementation of a rule based process engine,” in Proc. 14th Int. Conf. on Software Eng., pp. 262–277, 1992.
22. V. Ambriola, P. Ciancarini, and C. Montangero, “Software process enactment in OIKOS,” in ACM S1GSOFT Symp. on Practical Software Development Environment, vol. 15, pp. 183–192, 1990.
23. P. Benedusi, A. Cimitile, and U. De Carlini, “Reverse engineering process, design recovery and structure charts,” J. Syst. Software, vol. 16, 1992.
24. E. Yourdon and L. L. Constantine, Structured Design. Englewood Cliffs, NJ: Prentice-Hall, 1979.
25. V. Weinberg, Structured Analysis. Englewood Cliffs, NJ: Prentice-Hall, 1980.
26. P. Benedusi, A. Cimitile, and U. De Carlini, “A reverse engineering methodology to reconstruct hierarchical data flow diagrams for software maintenance,” in Proc. Conf on Software Maintenance 1989, pp. 180–189, 1989.
27. A. Cimitile, G. Di Lucca, and P. Maresca, “Maintenance and intermodular dependencies in Pascal environment,” in Proc. Conf. on Software Maintenance, pp. 72–83, 1990.
28. P. Antonini, P. Benedusi, G. Cantone, and A. Cimitile, “Maintenance and reverse engineering: Low level design documents production and improvment,” in Proc. Conf. on Software Maintenance, pp. 91–100, 1987.
29. M. S. Hecht, Flow Analysis of Computer Programs. New York: Elsevier North Holland, 1977.
30. A. V. Aho and J. D. Ullmann, the Theory of Parsing, Translation and Compiling, Vol. 2. Englewood Cliffs, NJ: Prentice-Hall, 1973.
31. J. M. Barth, “A practical interprocedural data-flow analysis algorithm,” Commun. ACM, vol. 21, pp. 724–736, 1978.
32. K. D. Cooper and K. Kennedy, “Efficient computation of flow insensitive interprocedural summary information,” ACM SIGPLAN Symp. on Compiler Construction, vol. 19, pp. 247–258, 1984.
33. J. P. Banning, “An efficient way to find the side effects of procedure calls and the aliases of variables,” in Proc. 6th POPL Conf, ACM, pp. 724–736, 1979.
34. J. Richardson and M. Ganapathy, “Interprocedural optimization: Experimental results,” Software Pract. Exper., vol. 9, pp. 149–169, 1989.
35. E. J. Chikofsky and J. H. Cross, II, “Reverse engineering and design recovery: A taxonomy,” IEEE Software, vol. 7, pp. 13–17, 1990.
36. P. A. Hausler, M. G. Pleszkoch, R. C. Linger, and A. R. Hevner, “Using function abstraction to understand program behavior,” IEEE Software, vol. 7, pp. 55–63, 1990.
37. A. Cimitile and U. De Carlini, “Reverse engineering: Algorithms for program graph production,” Software-Pract. and Exper., vol. 21, pp. 519–537, 1991.
38. M. A. Linton, “Implementing relational views of programs,” in Proc. of ACM SIGSOFT/SIGPLAN Software Eng. Symp. on Practical Software Development Environment, pp. 132–140, 1984.
39. Y.F. Chen, M.Y. Nishimoto, and C.V. Ramamoorthy, “The C information abstractor system,” IEEE Trans. Software Eng., vol. 16, pp. 325–334, 1990.
40. S. W. Dieterich and F. W. Callis, “A conceptual design for a code analysis knowledge base,” J. Soft. Maintenace: Res. and Pract., vol. 4, pp. 19–36, 1992.
41. M. Consens, A. Mendelzon, and A. G. Ryman, “Visualizing and querying software structures,” in Proc. 14th Int. Conf. on Software Eng., pp. 138–157, 1992.
42. A. Cimitile, “Toward reuse reengineering of old software,” in Proc. 4th Int. Conf. on Software Eng.and Knowledge Eng., pp. 140–149, 1992.
43. S. Ceri, G. Gottlob, and G. Wiederhold, “Efficient database access from Prolog,” IEEE Trans. Software Eng., vol. SE-15, pp. 153–164, 1989.
44. F. Cacace, S. Ceri, L. Tanca, and S. Crespi-Reghizzi, “Designing and prototyping data-intensive applications in the Logres and Algres programming environment,” IEEE Trans. Software Eng., vol. 18, pp. 534–546, 1992.