牛島, 和夫, 九州大学1997-1999<Y151-H09480056>
国立国会図書館
- 件名統合開発環境 Ada95 プログラム従属性 ASIS 並行型プログラム 定義使用ネツト システム従属ネ...
程, 京徳, 九州大学1992-1993<Y151-H04650319>
国立国会図書館
- 件名並行プログラム プログラム従属性 プログラム解析 テスト デバツグ 複雑さ評価 保守
程, 京徳, 九州大学1994-1996<Y151-H06452394>
国立国会図書館
- 件名命令型並行プログラム 宣言型並行プログラム プログラム従属性 プログラム解析 スライシング プログラム理解 デバツグ 複...
牛島和夫, 九州大学1995-1996<Y151-H07558157>
国立国会図書館
- 件名統一的プログラム抽象表現 非決定的定義使用ネツト プログラム従属性理論 並行型プログラム開発支援環境 スライシング テスケース...