年 〜
年

検索結果 13 件

ネットワークソフトウェア検証のための大規模な検証環境構築に関する研究

ネットワークソフトウェア検証のための大規模な検証環境構築に関する研究
デジタル博士論文障害者向け資料あり
榎本, 真俊奈良先端科学技術大学院大学2018-03-23
インターネットで読める国立国会図書館全国の図書館
  • 件名ネットワーク ソフトウェア検証 テストベッド 大規模検証環境構築手法 テストベッド連携

形式的仕様に基づくソフトウェアテスト手法の研究

形式的仕様に基づくソフトウェアテスト手法の研究
紙図書
劉少英, 法政大学 [著][劉少英]2006-2007<Y151-H18500027>
国立国会図書館
  • 件名ソフトウェアテスト / 形式仕様 / 仕様に基づくテスト / ソフトウェアレビュー / 仕様の詳細化 / ソフトウェア検証 / ソフトウェア工学 / ソフトウェアの信頼性

Research on Rigorous Verification Techniques for Formal Specification and Design : ソフトウエアの形式的仕様と設計の厳密な検証技術の研究

Research on Rigorous Verification Techniques for Formal Specification and Design : ソフトウエアの形式的仕様と設計の厳密な検証技術の研究
紙図書
劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11680368>
国立国会図書館
  • 件名形式的工学手法 ソフトウエア検証 厳密なレビユ- 仕様分析 形式的仕様 システム進化 テスト...

Formal Engineering Methods for Software Development : ソフトウエア開発における形式的工学手法

Formal Engineering Methods for Software Development : ソフトウエア開発における形式的工学手法
紙図書
劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11694173>
国立国会図書館
  • 件名形式工学手法 ソフトウエア検証 厳密なレビユ- 仕様テスト 仕様分析 形式的仕様 システム...

定理証明器によるモジュラーなソフトウェア検証

定理証明器によるモジュラーなソフトウェア検証
デジタル文書・図像類
田辺, 良則2016-03-31
全国の図書館
  • 件名定理証明支援系 ソフトウェア検証

Publications for the "Formal Methods and Intelligent Software Engineering Environments(FM-INSEE) : FM-INSEE:形式的手法と知的ソフトウエア工学環境

Publications for the "Formal Methods and Intelligent Software Engineering Environments(FM-INSEE) : FM-INSEE:形式的手法と知的ソフトウエア工学環境
紙図書
劉, 少英, 広島市立大学1996-1998<Y151-H08044167>
国立国会図書館
  • 件名形式的手法 形式的仕様 ソフトウエア支援環境 ソフトウエア検証 ソフトウエアテスト 厳密なレビユー 形式的意味 SOFL

平成9-11年度研究成果報告書

平成9-11年度研究成果報告書
紙図書
片山, 卓也, 北陸先端科学技術大学院大学1997-1999<Y151-ZY290-002>
国立国会図書館
  • 件名ソフトウエア発展構成原理 発展的ソフトウエア検証証明法 ソフトウエア発展基本機構 ソフトウエア構築再構成方法...

ソフトウェア欠陥部品の自動特定に関する研究 : 平成26年度実績報告書

ソフトウェア欠陥部品の自動特定に関する研究 : 平成26年度実績報告書
デジタル文書・図像類
伊原, 彰紀奈良先端科学技術大学院大学2015
インターネットで読める全国の図書館
  • 件名バグローカリゼーション ソフトウェア検証 バグ再修正

ソフトウェア欠陥部品の自動特定に関する研究 : 平成25-26年度成果報告書

ソフトウェア欠陥部品の自動特定に関する研究 : 平成25-26年度成果報告書
デジタル文書・図像類
伊原, 彰紀奈良先端科学技術大学院大学2015
インターネットで読める全国の図書館
  • 件名バグローカリゼーション ソフトウェア検証 バグ再修正

ソフトウェア欠陥部品の自動特定に関する研究 : 平成25年度実績報告書

ソフトウェア欠陥部品の自動特定に関する研究 : 平成25年度実績報告書
デジタル文書・図像類
伊原, 彰紀奈良先端科学技術大学院大学2014
インターネットで読める全国の図書館
  • 件名バグローカリゼーション ソフトウェア検証 バグ再修正

形式言語理論に基づく静的解析法とその安全性検査への応用 : 平成23年度実績報告書

形式言語理論に基づく静的解析法とその安全性検査への応用 : 平成23年度実績報告書
デジタル文書・図像類
関, 浩之奈良先端科学技術大学院大学2012
インターネットで読める全国の図書館
  • 件名ソフトウェア検証 形式言語理論 モデル検査

ソフトウェア開発の高信頼アジャイル形式工学手法に関する研究

ソフトウェア開発の高信頼アジャイル形式工学手法に関する研究
デジタル文書・図像類
劉, 少英, LIU, Shaoying2019-05-28科学研究費助成事業 研究成果報告書p.1-6
全国の図書館
  • 件名アジャイル開発手法 形式工学手法 ハイブリッド仕様 仕様アニメーション ソフトウェアテスト ソフトウェア検証 ソフトウェア品質保証 高信頼ソフトウェア開発

航空機による微小重力実験:物理現象シミュレーション技術検証のための対流・凝固実験

航空機による微小重力実験:物理現象シミュレーション技術検証のための対流・凝固実験
デジタル文書・図像類
清水, 盛生, 楠瀬, 智宏, 加藤, 充康, 井村, 貞治, 中村, 裕彦, 羽生, 哲也, 亀井, 信一, 石川, 正道, Shimizu, Morio, Kusunose, Tomohiro, Kato, Mitsuyasu, Imura, Sadaji, Nakamura, Hirohiko, Hanyu, Tetsuya, Kamei, Shinichi, Ishikawa, Masamichi宇宙開発事業団1997-01-31宇宙開発事業団技術報告 = NASDA Technical Memorandump.34-46
全国の図書館
  • 件名...イス 計算機シミュレーション ソフトウェア検証 対流 凝固実験 MU 300 aircraft parab...

検索結果は以上です。