年 〜
年

検索結果 5 件

ソフトウェアの安全性向上のための型理論

ソフトウェアの安全性向上のための型理論
紙図書
小林直樹, 東北大学 [著][小林直樹]2005-2007<Y151-H17300003>
国立国会図書館
  • 件名型システム / プログラム解析 / 割り込み / 並行プログラム / 資源使用法解析 / プログラム等価性 / 双模倣 / ...

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

命令型・宣言型並行プログラムにおける従属性に関する一般的理論の構築と応用
紙図書
程, 京徳, 九州大学1994-1996<Y151-H06452394>
国立国会図書館
  • 件名命令型並行プログラム 宣言型並行プログラム プログラム従属性 プログラム解析 スライシング プログラム...

高度に柔軟なオブジエクト指向開発手法の開発とそれを支援する計算機環境の構築

高度に柔軟なオブジエクト指向開発手法の開発とそれを支援する計算機環境の構築
紙図書
前川, 守, 電気通信大学1998-2000<Y151-H10480056>
国立国会図書館
  • 件名Eunice97 オブジエクト指向 並行プログラム 継承異常 ソフトウエア開発 CASEツ-ル 要求仕様抽出 ...

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

並行プログラムの従属性理論とその応用に関する基礎的研究
紙図書
程, 京徳, 九州大学1992-1993<Y151-H04650319>
国立国会図書館
  • 件名並行プログラム プログラム従属性 プログラム解析 テスト デバツグ 複雑さ...

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究
紙図書
稲垣, 康善, 名古屋大学1987-<Y151-S62550261>
国立国会図書館
  • 件名並列計算 並行プログラム 形式的仕様記述 CCS モニタ 項書き換え系の意味論 抽象...

検索結果は以上です。