本文に飛ぶ

年 〜
年

検索結果 7 件

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

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

並行論理プログラミングに基づく広域分散計算パラダイムの構築

並行論理プログラミングに基づく広域分散計算パラダイムの構築
紙図書
上田, 和紀, 早稲田大学1999-2001<Y151-H11680370>
国立国会図書館
  • 件名並行論理プログラミング GHC KL1 宣言型言語 広域分散計算 プログラム解析 計算資源

多様なアプリケーションのための実行履歴を扱うソフトウェア基盤の研究開発

多様なアプリケーションのための実行履歴を扱うソフトウェア基盤の研究開発
デジタル文書・図像類
櫻井, 孝平, Sakurai, Kohei2017-06-05平成28(2016)年度 科学研究費補助金 若手研究(B) 研究成果報告書 = 2016 Fiscal Year Final Research Report2014-04-01 - 2017-03-31p.4p.-
全国の図書館
  • 件名実行履歴 プログラム解析 ソフトウェアデバッグ

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

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

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

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

トレース情報とプログラム解析による開発支援環境の研究開発

トレース情報とプログラム解析による開発支援環境の研究開発
デジタル文書・図像類
櫻井, 孝平, Sakurai, Kohei金沢大学理工研究域電子情報通信学系2013-05-17平成24(2012)年度 科学研究費補助金 若手研究(B) 研究成果報告書 = 2012 Fiscal Year Final Research Report2011-2012p.4p.-
全国の図書館
  • 件名ソフトウェアデバッグ プログラム解析 プログラムトレース
  • 一般注記...出典：研究課題「トレース情報とプログラム解析による開発支援環境の研究開発」課題番号23700041（KA...

秘密隠蔽のための系統的ソフトウェア保護フレームワーク

秘密隠蔽のための系統的ソフトウェア保護フレームワーク
デジタル博士論文
山内, 寛己奈良先端科学技術大学院大学2010-03-24
全国の図書館
  • 件名ソフトウェア難読化 プログラム解析 情報隠蔽 ゴール指向分析 ゴール分解

検索結果は以上です。

RSS