Developing & integrating PRoDAG in the arcadia environment

Proceedings of the 5th ACM SIGSOFT Symposium on Software Development Environments, SDE 1992

Volumn , Issue , 1992, Pages 109-119

  Richardson, Debra J ^a   Owen O'Malley, T ^a   Moore, Cynthia Tittle ^a   Aha, Stephanie Leif ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; USER INTERFACES;

DEPENDENCE GRAPHS; DEPENDENCE RELATION; LANGUAGE PROCESSING; OBJECT MANAGEMENT; PROCESS DEFINITION; PROGRAM DEPENDENCE; PROGRAM STATEMENTS; USER INTERFACE DEVELOPMENT;

SOFTWARE DESIGN;

EID: 84936071223     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/142868.143759     Document Type: Conference Paper

References (35)

1. [BPS87] D. A. Baker, D. A. Fisher, and J. C. Shultis. Iris: An internal form for use in integrated environments. Tech. Rep., Incremental Systems Corporation, 1987.
2. [Bha91] N. Bhachech. IRIS-TO-CFG manual. Tech. Rep. UM-91- 06, Univ. of Mass. at Amherst, November 1991.
3. [CRZ88] L. A. Clarke, D. J. Richardson, and S. J. Zeil. Team: A support environment for testing, evaluation, and analysis. In Proc. of ACM SIGSOFT '88: Third Symp. on Software Development Environments, November 1988.
4. [FOW87] J. Ferrante, K. Ottenstein, and J. Warren. The program dependence graph and its use in optimization. ACM Trans, on Programming Languages and Systems, 9(3), July 1987.
5. [FSZ89] K. Forester, I. Shy, and S. Zeil. IRIS-Ada: An Arcadia perspective. Arcadia Tech. Rep. UCI-88-01, Univ. of Calif., June 1989.
6. [Hof91] C. Hoffman. Ilythia user manual, March 1991.
7. [HPR88] S. Horwitz, J. Prins, and T. Reps. On the adequacy of program dependence graphs for representing programs. In Proc. of the ACM Symp. on Principles of Programming Languages, 1988.
8. [HPR89] S. Horwitz, J. Prins, and T. Reps. Integrating noninterfering versions of programs. ACM Trans, on Programming Languages and Systems, 11(3), July 1989.
9. [HR92] S. Horwitz and T. Reps. The use of program dependence graphs in software engineering. In Proc. of the Fourteenth Intl. Conf. on Software Engineering. ACM Press, May 1992.
10. [HRB90] S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Trans, on Programming Languages and Systems, 12(1), January 1990.
11. [HT86] S. Horwitz and T. Teitelbaum. Generating editing environments based on relations and attributes. ACM Trans, on Programming Languages and Systems, 8(4), October 1986.
12. [Jha90] R. K. Jha. User manual for Spectrum - A language- specific interface generator to IRIS. Tech. Rep. UM-90-02, Univ. of Mass. at Amherst, May 1990.
13. [Kad92] R. Kadia. Issues encountered in building a flexible software development environment: Lessons learned from the Arcadia project. In Proc. of ACM SIGSOFT '92: Fifth Symp. on Software Development Environments, December 1992.
14. [KCTT91] R. K. Keller, M. Cameron, R. N. Taylor, and D. B. Troup. Chiron-1: A user interface development system tailored to software environments. In Proc. of the Twenty- Fourth Annual Hawaii Intl. Conf. on System Sciences, volume 2, January 1991.
15. [KKL+81] D. J. Kuck, R. H. Kuhn, B. Leasure, D. A. Padua, and M. Wolfe. Dependence graphs and compiler optimizations. In Proc. of the ACM Symp. on Principles of Programming Languages. ACM Press, 1981.
16. [Kor87] B. Korel. The program dependence graph in static program testing. Information Processing Letters, 24, January 1987.
17. [LK83] J. W. Laski and B. Korel. A data flow oriented program testing strategy. IEEE Trans, on Software Engineering, 9(3), May 1983.
18. [NS87] K. Nies and I. Shy. Paris operators. Arcadia Tech. Rep. UCI-88-01, Univ. of Calif., May 1987.
19. [Nta84] S. C. Ntafos. On required element testing. IEEE Trans, on Software Engineering, 10(6), November 1984.
20. [OF76] L. J. Osterweil and L. D. Fosdick. DAVE - A validation, error detection, and documentation system for FORTRAN programs. Software - Practice & Experience, 6, 1976.
21. K. J. Ottenstein and L. M. Ottenstein. The program dependence graph in a software development environment. ACM SIGPLAN, 19(5), May 1984.
22. [Ost87] L. J. Osterweil. Software processes are software too. In Proc. of the Ninth Intl. Conf. on Software Engineering, March 1987.
23. [PC90] A. Podgurski and L. A. Clarke. A formal model of program dependences and its implications for software testing, debugging, and maintenance. IEEE Trans, on Software En-gineering, 16(9), September 1990.
24. [Pro91] C. T. Moore, T. O. O'Malley, D. J. Richardson, S. H. L. Aha, and D. A. Brodbeck. ProDAG: A program dependence graph system. Tech. Rep. UCI-91-25, Dept. of Information and Computer Science, Univ. of Calif., 1991.
25. [RR89] P. Tarr. Standard interfaces to relations and relationships. Arcadia Tech. Rep. UM-89-02, Univ. of Mass., 1989.
26. [RT86] D. J. Richardson and M. C. Thompson. An Analysis of Test Data Selection Criteria Using the Relay Model of Error Detection. Tech. Rep. 86-65, Computer and Information Science, December 1986.
27. [RT88] D. Richardson and M. Thompson. The RELAY model of error detection and its application. In Proc. of the Second Workshop on Software Testing, Verification, and Analysis. ACM/SIGSOFT and IEEE-CS Software Engineering Tech. Committee, July 1988.
28. [RW82] S. Rapps and E. J. Weyuker. Data flow analysis techniques for test data selection. In Proc. of the Sixth Intl. Conf. on Software Engineering, September 1982.
29. [SH090] S. M. Sutton Jr., D. Heimbigner, and L. J. Osterweil. Language constructs for managing change in process- centered environments. In Proc. of ACM SIGSOFT '90: Fourth Symp. on Software Development Environments, December 1990.
30. [Sni91] C. Snider. GLAD user's manual, October 1991.
31. [SPSB91] R. W. Selby, A. A. Porter, D. C. Schmidt, and J. Berney. Metric-driven analysis and feedback systems for enabling empirically guided software development. In Proc. of the Thirteenth Intl. Conf. on Software Engineering, May 1991.
32. [Tar91] P. Tarr. Repomangen reference manual. Tech. Rep. UM- 91-09, Software Development Laboratory, Univ. of Mass., December 1991.
33. [TRC92] M. C. Thompson, D. J. Richardson, and L. A. Clarke. Information flow transfer in the Relay model. Tech. Rep. TR-92-39, Dept. of Information and Computer Science, Univ. of Calif., May 1992.
34. [TWC90] P. Tarr, J. Wileden, and L. Clarke. Extending and Limiting PGRAPHITE-style Persistence. In Proc. of the 4th Intl. Workshop on Persistent Object Systems, Martha's Vineyard, MA, August 1990.
35. [Wei82] M. Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7), July 1982.