検索結果 11 件
デジタル博士論文障害者向け資料あり
国立国会図書館
- 件名クラウドコンピューティング 形式手法 システム運用管理 システム変更プロセス 脆弱性
紙図書
国立国会図書館
- 件名形式仕様記述 ドメインモデル構築 形式手法 図式表現 図式分析ツール 形式仕様の検査 システム記述事例...
デジタル文書・図像類
全国の図書館
- 件名形式手法 形式検証 モデル検査
- 一般注記...：20313702 研究分野：形式手法，形式検証，ソフトウェア工学，ソフトウェア科学 科研費の分科...
デジタル文書・図像類
全国の図書館
- 件名形式手法 モデル検査 形式仕様記述 テスト 車載ソフトウェア
- 一般注記本研究では，複数の形式手法を統合し，システム開発の上流工......システムでは，開発工程の一部に形式手法を適用し，検証を行うことが主流......た．これにより，産業界における形式手法の採用が加速され，ソフトウェアの信頼性，安全性が向上すること...
デジタル文書・図像類
全国の図書館
- 件名仕様記述・仕様検証 形式手法 ソフトウェア工学 代数仕様 証明スコア CafeOBJ 定...
- 一般注記...：50251971 研究分野：形式手法、仕様検証、ソフトウェア工学 identifier:http...
デジタル博士論文
インターネットで読める全国の図書館
- 件名クラウドコンピューティング 形式手法 システム運用管理 システム変更プロセス 脆弱性
デジタル博士論文
インターネットで読める全国の図書館
- 件名メモリ・コンシステンシ・モデル 分散共有メモリ 形式手法 ベクトル時計 Z CCS
検索結果は以上です。