Task dependence nets for concurrent systems with ada 95 and its applications

Proceedings of the Conference on TRI-Ada 1997, TRI-Ada 1997

Volumn , Issue , 1997, Pages 67-78

  Cheng, Jingde ^a  

^a KYUSHU UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); APPLICATION PROGRAMS; COMPUTER SOFTWARE MAINTENANCE; DATA TRANSFER; MAINTENANCE; PARALLEL FLOW; PROGRAM DEBUGGING; REENGINEERING; SOFTWARE DESIGN; SOFTWARE TESTING;

COMPLEXITY MEASUREMENT; CONCURRENT SYSTEMS; DEPENDENCE ANALYSIS; DEPENDENCE RELATIONSHIPS; ITS APPLICATIONS; MULTIPLE THREADS; PROGRAM DEPENDENCE; SOFTWARE SYSTEMS;

CONCURRENCY CONTROL;

EID: 34147208698     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/269629.269637     Document Type: Conference Paper

References (25)

1. U. Banerjee, Dependence Analysis, Kluwer Academic, 1997.
2. J. Barnes, Programming in Ada 95, Addison-Wesley, 1995.
3. S. Bates and S. Hanvitz, "Incremental Program Testing Using Program Dependence Graphs, " Proc. 20th ACM Symposium on Principles of Programming Languages, pp. 384-396, 1993.
4. J. Beck and D. Eichmann, "Program and Interface Slicing for Reverse Engineering, " Proc. IEEB-CS and ACM 15th International Conference on Software Engineering, pp. 509-518, 1993.
5. A. Burns and A. Wellings, Concuirency in Ada, Cambridge University Press, 1995.
6. J. Cheng, "Process Dependence Net: A Concurrent Program Representation, " Proc. JSSST 8th Conference, pp. 513-516, 1991.
7. J. Cheng, "Task Dependence Net as a Representation for Concurrent Ada Programs, " in J. van Katwijk (Ed.), "Ada; Moving towards 2000, 11th Ada-Europe International Conference, Zandvoort, "Die Netherlands, June 1992, Proceedings" Lecture Notes in Computer Science, Vol. 603, pp. 150-164, Springer- Veriag, June 1992.
8. J. Cheng, "The Task Dependence Net in Ada Software Development, " ACM Ada Letters, Vol. 12, No. 4, pp. 24-35, July/August 1992.
9. J, Cheng, "Process Dependence Net of Distributed Programs and Its Applications in Development of Distributed Systems, " Proc. IEEE- CS 17th Annual International Computer Software & Applications Conference, pp. 231-240, 1993.
10. J. Ferrante, K. J. Ottenstein, and J- D. Warren, "The Program Dependence Graph and Its Use in Optimization, " ACM Transactions on Programming Languages and Systems, Vol, 9, No, 3, pp. 319-349, 1987.
11. K. B. Gallagher and J. R. Lyle, "Using Program Slicing in Software Maintenance, " IEEE-CS Transactions on Software Engineering, Vol. 17, No. 8, pp. 751-761, 1991.
12. S. Horwitz and T. Reps, "The Use of Program Dependence Graphs in Software Engineering, " Proc. IEEE-CS and ACM 14th International Conference on Software Engineering, pp, 392-411, .
13. Internationa! Organization for Standardization: Information Technology, Programming Language Ada, ISO/IEC S652:1995{E), 1995.
14. Y. Kasahara, Y. Nomura, M. Kamachi, J. Cheng, and K. Ushljima, "An Integrated Support Environment for Distributed Software Development Based on Unified Program Representations, " Proc, 1995 Asia-Pacific Software Engineering Conference, pp. 254-263, 1995.
15. Y. Kasahara, J. Cheng, and K. Ushijioia, "Task Dependence Net of Concurrent Ada Programs and Its Automatic Generation, " Transactions of IEICE, Vol. J79-D-I, No. 11, pp. 925-935, 1996 (In Japanese).
16. B. Korel, "The Program Dependence Graph in Static Programs Testing, " Information Processing Letters, Vol. 24, pp. 103-108, 1987.
17. B. Korel, "Computation of Dynamic Program Slices for Unstructured Programs, " IEEE Transactions on Software Engineering, Vol. 23, No. 1, pp. 17-34, 1997.
18. D. I. Kuck, R. H. Kuhn, D. A. Padua, B. R. Leasurc, M. J. Wolfe, "Dependence Graphs and Compiler Optimizations, " Proc. 8th ACM Symposium on Principles of Programming Languages, pp. 207-218, 1981.
19. J. P. Loyall and S. A. Mathisen "Using Dependence Analysis to Support the Software Maintenance Process" Proc. 1993 IEEE-CS International Conference on Software Maintenance, pp. 282-291, .
20. L. E Moser, "Data Dependency Graphs fox Ada Programs, " IEEE Transactions on Software Engineering, Vol. 16, No, 5, pp, 498-509, 1990.
21. K. J. Ottenstein and L. M. Ottenstein, "The Program Dependence Graph in a Software Development Environment, " ACM Software Engineering Notes, Vol. 9, No. 3, pp. 177-184, 1984, .
22. A. Podgurski and L. A. Clarke, "Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance, " IEEE-CS Transactions on Software Engineering, Vol. 16, No. 9, pp. 965-979, 1990.
23. F. Tip, "A Survey of Program Slicing Techniques, " Journal of Programming Languages, . Vol. 3, pp. 121-189, 1995.
24. M. Weiser, "Programmers Use Slices When Debugging, " Communications of the ACM, Vol. 25, No. 7, pp, 446-452, 1982.
25. M. Weiser, "Program Slicing, " IEEE-CS Transactions on Software Engineering, Vol. 10, No. 4, pp. 352-357, 1984.