Understanding interleaved code

Automated Software Engineering

Volumn 3, Issue 1-2, 1996, Pages 47-76

  Rugaber, Spencer ^a   Stirewalt, Kurt ^a   Wills, Linda M ^b  

^a Georgia Institute of Technology   (United States)

^b GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Analysis tools; Domain models; Interleaving; Software understanding; Specification extraction

Indexed keywords

COMPUTER SOFTWARE; FORTRAN (PROGRAMMING LANGUAGE); MATHEMATICAL MODELS;

DOMAIN MODELS; SOFTWARE INTERLEAVING; SOFTWARE UNDERSTANDING; SPECIFICATION EXTRACTION;

SOFTWARE ENGINEERING;

EID: 0030170660     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF00126959     Document Type: Article

References (44)

1. Aho, A., R. Sethi, and J. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, MA, 1986.
2. Basili, V.R. and H.D. Mills. Understanding and documenting programs. IEEE Transactions on Software Engineering, 8(3):270-283, May 1982.
3. Biggerstaff, T., B. Mitbander, and D. Webster. Program understanding and the concept assignment problem. Communications of the ACM, 37(5):72-83, May 1994.
4. Boehm, Barry. Software Engineering Economics. Prentice Hall, 1981.
5. Bowdidge, R. and W. Griswold. Automated support for encapsulating abstract data types. In Proc. 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, pages 97-110, New Orleans, Dec. 1994.
6. Brooks, R. Towards a theory of the comprehension of computer programs. International Journal of Man-Machine Studies, 18:543-554, 1983.
7. Calliss, F. and B. Cornelius. Potpourri module detection. In IEEE Conference on Software Maintenance - 1990, pages 46-51, San Diego, CA, November 1990. IEEE Computer Society Press.
8. Canfora, G., A. Cimitile, and M. Munro. A reverse engineering method for identifying reusable abstract data types. In Proc. of the First Working Conference on Reverse Engineering, pages 73-82, Baltimore, Maryland, May 1993. IEEE Computer Society Press.
9. Cimitile, A., M. Tortorella, and M. Munro. Program comprehension through the identification of abstract data types. In Proc. 3rd Workshop on Program Comprehension, pages 12-19, Washington, D.C., November 1994. IEEE Computer Society Press.
10. Fjeldstad, R.K. and W.T. Hamlen. Application program maintenance study: Report to our respondents. In GUIDE 48, 4 1979. Also appears in (Parikh and Zvegintozov, 1983).
11. Hall, R. Program improvement by automatic redistribution of intermediate results. Technical Report 1251, MIT Artificial Intelligence Lab., February 1990. PhD.
12. Hall, R. Program improvement by automatic redistribution of intermediate results: An overview. In M. Lowry and R. McCartney, editors, Automating Software Design. AAAI Press, Menlo Park, CA, 1991.
13. Hartman, J. Automatic control understanding for natural programs. Technical Report AI 91-161, University of Texas at Austin, 1991. PhD thesis.
14. Hutchens, D. and V. Basili. System structure analysis: Clustering with data bindings. IEEE Transactions on Software Engineering, 11(8), August 1985.
15. ReasoningSystems Incorporated. Software Refinery Toolkit. Palo Alto, CA.
16. Johnson, W.L. Intention-Based Diagnosis of Novice Programming Errors. Morgan Kaufmann Publishers, Inc., Los Altos, CA, 1986.
17. Kozaczynski, W. and J.Q. King. Automated program understanding by concept recognition. Automated Software Engineering, 1(1):61-78, March 1994.
18. Letovsky, S. Plan analysis of programs. Research Report 662, Yale University, December 1988. PhD.
19. Letovsky, S. and E. Soloway. Delocalized plans and program comprehension. IEEE Software, 3(3), 1986.
20. Lowry, M., A.Philpot, T. Pressburger, and I. Underwood. Amphion: automatic programming for subroutine libraries. In Proc. 9th Knowledge-Based Software Engineering Conference, pages 2-11, Monterey, CA, 1994.
21. Lowry, M., A. Philpot, T. Pressburger, and I. Underwood. A formal approach to domain-oriented software design environments. In Proc. 9th Knowledge-Based Software Engineering Conference, pages 48-57, Monterey, CA, 1994.
22. Myers, G. Reliable Software through Composite Design. Petrocelli Charter, 1975.
23. Ning, J.Q., A. Engberts, and W. Kozaczynski. Automated support for legacy code understanding. Communications of the ACM, 37(5):50-57, May 1994.
24. Ornburn, S. and S. Rugaber. Reverse engineering: Resolving conflicts between expected and actual software designs. In IEEE Conf. on Software Maintenance - 1992, pages 32-40, Orlando, Florida, November 1992.
25. Parikh, G. and N. Zvegintozov, editors. Tutorial on Software Maintenance. IEEE Computer Society, 1983. Order No. EM453.
26. Quilici, A. A memory-based approach to recognizing programming plans. Communications of the ACM, 37(5):84-93, May 1994.
27. Rich, C. A formal representation for plans in the Programmer's Apprentice. In Proc. 7th International Joint Conference on Artificial Intelligence, pages 1044-1052, Vancouver, British Columbia, Canada, August 1981.
28. Rich, C. Inspection methods in programming. Technical Report 604, MIT Artificial Intelligence Lab., June 1981. PhD thesis.
29. Rich, C. and R.C. Waters. The Programmer's Apprentice. Addison-Wesley, Reading, MA and ACM Press, Baltimore, MD, 1990.
30. Rich, C. and L.M. Wills. Recognizing a program's design: A graph-parsing approach. IEEE Software, 7(1):82-89, January 1990.
31. Rugaber, S., S. Ornburn, and R. LeBlanc. Recognizing design decisions in programs. IEEE Software, 7(1):46-54, January 1990.
32. Rugaber, S., K. Stirewalt, and L. Wills. Detecting interleaving. In IEEE Conference on Software Maintenance - 1995, pages 265-274, Nice, France, September 1995. IEEE Computer Society Press.
33. Rugaber, S., K. Stirewalt, and L. Wills. The interleaving problem in program understanding. In Proc. of the Second Working Conference on Reverse Engineering, pages 166-175, Toronto, Ontario, July 1995. IEEE Computer Society Press.
34. Schwanke, R. An intelligent tool for re-engineering software modularity. In IEEE Conference on Software Maintenance - 1991, pages 83-92, 1991.
35. Schwanke, R., R. Altucher, and M. Platoff. Discovering, visualizing, and controlling software structure. In Proc. 5th Int. Workshop on Software Specification and Design, pages 147-150, Pittsburgh, PA, 1989.
36. Selfridge, P., R. Waters, and E. Chikofsky. Challenges to the field of reverse engineering - A position paper. In Proc. of the First Working Conference on Reverse Engineering, pages 144-150, Baltimore, Maryland, May 1993. IEEE Computer Society Press.
37. Smith, D., G. Kotik, and S. Westfold. Research on knowledge-based software environments at Kestrel Institute. IEEE Transactions on Software Engineering, November 1985.
38. Soloway, E. and K. Ehrlich. Empirical studies of programming knowledge. IEEE Transactions on Software Engineering, 10(5):595-609, September 1984.
39. Reprinted in C. Rich and R.C. Waters, editors, Readings in Artificial Intelligence and Software Engineering, Morgan Kaufmann, 1986.
40. Stickel, M., R. Waldinger, M. Lowry, T. Pressburger, I. Underwood, and A. Bundy. Deductive composition of astronomical software from subroutine libraries. In Proc. 12th International Conference on Automated Deduction, pages 341-55, Nancy, France, 1994.
41. Waters, R.C. A method for analyzing loop programs. IEEE Transactions on Software Engineering, 5(3):237-247, May 1979.
42. Weiser, Mark. Program slicing. In 5th International Conference on Software Engineering, pages 439-449, San Diego, CA, 3 1981.
43. Wills, L. Automated program recognition by graph parsing. Technical Report 1358, MIT Artificial Intelligence Lab., July 1992. PhD Thesis.
44. Yourdon, E. and L. Constantine. Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design. Prentice-Hall, 1979.