-
[文献書誌] 伊東栄典、川口豊、古川善吾、牛島和夫: "順序列テスト基準に基づく並行処理プログラムのテスト充分性評価について" 情報処理学会論文誌. Vol36,No9. 2195-2205 (1995)
-
[文献書誌] 笠原義晃、程京徳、牛島和夫: "Adaプログラムのためのタスク従属ネットとその自動生成" 電子情報通信学会論文誌. J79-D-I No.11. 925-935 (1996)
-
[文献書誌] J.Cheng,K.Ushijima: "Applications of Program Dependence Analysis in Distributed Software Engineering(INVITED TALK)" Proc.International Symposium on Parallel and Distributed Supercomputing. 15-24 (1995)
-
[文献書誌] J.Cheng,K.Ushijima: "Tasking Deadlocks in Ada 95 Programs and Their Detection" ″Reliable Software Technologies.″Lecture Notes in Computer Science. 1088. 135-146 (1996)
-
[文献書誌] Y.Nomura,J.Cheng,K.Ushijima: "Slicing Programs with Pointers" Proc.International Symposium on Future Software Technology '96. 131-138 (1996)
-
[文献書誌] Y.Kasahara,Y.Nomura,Y.Kamachi,J.Cheng,K.Ushijima: "An Integrated Support Environment for Distributed Software Development Based on Unitied Program" Proc.Asia Pacific Software Engineering Conference. 254-263 (1995)