-
[文献書誌] Jingde CHENG and Kazuo USHIJIMA: "Tasking Deadlocks in Ada 95 Programs and Their Detection,in A.Strohmeier (ed.),Ade:Reliable Sofware Technologies (Proceedings of the Ade-Europe 15th Annual International Conference)," Lecture Notes in Computer Science. (to appear). (1996)
-
[文献書誌] Jianjun ZHAO,Jingde CHENG,and Kazuo USHIJIMA: "Program Dependence Analysis of Concurrent Logic Programs and Its Applications," Proceedings of the 12th International Conference on Logic Programming,. 825- (1995)
-
[文献書誌] Jianjun ZHAO,Jingde CHENG,and Kazuo USHIJIMA: "Theoretical and Experimental Study of Dependence-Based Complexity Metrics for Distributed Programs," Proceedings of the 4th International Conference for Young Computer Scientists. 133-138 (1995)
-
[文献書誌] Jingde CHENG and Kazuo USHIJIMA: "Program Dependence Analysis in Distributed Software Engineering (Invited Talk)," Proceedings of the International Symposium on Paralle anf Distributed Supercomputing,. 15-24 (1995)
-
[文献書誌] Yoshiaki KASAHARA,Yoshinari NOMURA,Masayuki KAMACHI,Jingde CHENG,and Kazuo USHIJIMA: "An Integrated Support Environment for Distributed Software Development Based on Unified Program Representations," Proceedings of the 1995 Asia-Pacific Software Engineering Conference,. 254-263 (1995)
-
[文献書誌] Yoshiaki KASAHARA,Masayuki KAMACHI,Yoshinari NOMURA,Jingde CHENG,and Kazuo USHIJIMA: "An Integrated Environment to Support Software Development Based on Unified Program Representations," Proceedings of the Changsha International CASE Symposium '95,. 65-72 (1995)