Jump to main content

yr 〜
yr

Search results 4

並行型プログラム従属性理論に基づく統合的ソフトウエア開発支援環境の構築

並行型プログラム従属性理論に基づく統合的ソフトウエア開発支援環境の構築
Paper図書
牛島, 和夫, 九州大学1997-1999<Y151-H09480056>
National Diet Library
  • Subject Heading統合開発環境 Ada95 プログラム従属性 ASIS 並行型プログラム 定義使用ネツト システム従属ネ...

並行プログラムの従属性理論とその応用に関する基礎的研究

並行プログラムの従属性理論とその応用に関する基礎的研究
Paper図書
程, 京徳, 九州大学1992-1993<Y151-H04650319>
National Diet Library
  • Subject Heading並行プログラム プログラム従属性 プログラム解析 テスト デバツグ 複雑さ評価 保守

命令型・宣言型並行プログラムにおける従属性に関する一般的理論の構築と応用

命令型・宣言型並行プログラムにおける従属性に関する一般的理論の構築と応用
Paper図書
程, 京徳, 九州大学1994-1996<Y151-H06452394>
National Diet Library
  • Subject Heading命令型並行プログラム 宣言型並行プログラム プログラム従属性 プログラム解析 スライシング プログラム理解 デバツグ 複...

並行型プログラムの統合的開発支援環境の構築

並行型プログラムの統合的開発支援環境の構築
Paper図書
牛島和夫, 九州大学1995-1996<Y151-H07558157>
National Diet Library
  • Subject Heading統一的プログラム抽象表現 非決定的定義使用ネツト プログラム従属性理論 並行型プログラム開発支援環境 スライシング テスケース...

Reached to the end of result.

RSS