Search results for "ソフトウェア検証" | NDL Search

Search results 13

Group by title

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

Digital博士論文障害者向け資料あり

榎本, 真俊奈良先端科学技術大学院大学2018-03-23

Available onlineNational Diet LibraryOther Libraries in Japan

Subject Headingネットワークソフトウェア検証テストベッド大規模検証環境構築手法テストベッド連携

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

Paper図書

劉少英, 法政大学 [著][劉少英]2006-2007<Y151-H18500027>

National Diet Library

Subject Headingソフトウェアテスト / 形式仕様 / 仕様に基づくテスト / ソフトウェアレビュー / 仕様の詳細化 / ソフトウェア検証 / ソフトウェア工学 / ソフトウェアの信頼性

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

Paper図書

劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11680368>

National Diet Library

Subject Heading形式的工学手法ソフトウエア検証厳密なレビユ- 仕様分析形式的仕様システム進化テスト...

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

Paper図書

劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11694173>

National Diet Library

Subject Heading形式工学手法ソフトウエア検証厳密なレビユ- 仕様テスト仕様分析形式的仕様システム...

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

Digital文書・図像類

田辺, 良則2016-03-31

Other Libraries in Japan

Subject Heading定理証明支援系ソフトウェア検証

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

Paper図書

劉, 少英, 広島市立大学1996-1998<Y151-H08044167>

National Diet Library

Subject Heading形式的手法形式的仕様ソフトウエア支援環境ソフトウエア検証ソフトウエアテスト厳密なレビユー形式的意味 SOFL

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

Digital文書・図像類

伊原, 彰紀奈良先端科学技術大学院大学2015

Available onlineOther Libraries in Japan

Subject Headingバグローカリゼーションソフトウェア検証バグ再修正

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

Paper図書

片山, 卓也, 北陸先端科学技術大学院大学1997-1999<Y151-ZY290-002>

National Diet Library

Subject Headingソフトウエア発展構成原理発展的ソフトウエア検証証明法ソフトウエア発展基本機構ソフトウエア構築再構成方法...

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

Digital文書・図像類

伊原, 彰紀奈良先端科学技術大学院大学2015

Available onlineOther Libraries in Japan

Subject Headingバグローカリゼーションソフトウェア検証バグ再修正

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

Digital文書・図像類

伊原, 彰紀奈良先端科学技術大学院大学2014

Available onlineOther Libraries in Japan

Subject Headingバグローカリゼーションソフトウェア検証バグ再修正

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

Digital文書・図像類

関, 浩之奈良先端科学技術大学院大学2012

Available onlineOther Libraries in Japan

Subject Headingソフトウェア検証形式言語理論モデル検査

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

Digital文書・図像類

劉, 少英, LIU, Shaoying2019-05-28科学研究費助成事業研究成果報告書p.1-6

Other Libraries in Japan

Subject Headingアジャイル開発手法形式工学手法ハイブリッド仕様仕様アニメーションソフトウェアテストソフトウェア検証ソフトウェア品質保証高信頼ソフトウェア開発

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

Digital文書・図像類

清水, 盛生, 楠瀬, 智宏, 加藤, 充康, 井村, 貞治, 中村, 裕彦, 羽生, 哲也, 亀井, 信一, 石川, 正道, Shimizu, Morio, Kusunose, Tomohiro, Kato, Mitsuyasu, Imura, Sadaji, Nakamura, Hirohiko, Hanyu, Tetsuya, Kamei, Shinichi, Ishikawa, Masamichi宇宙開発事業団1997-01-31宇宙開発事業団技術報告 = NASDA Technical Memorandump.34-46

Other Libraries in Japan

Subject Heading...イス計算機シミュレーションソフトウェア検証対流凝固実験 MU 300 aircraft parab...

Reached to the end of result.

RSS