Jump to main content

yr 〜
yr

Search results 9

深さ優先ヒューリスティック探索によるソフトウェアモデル検査効率化

深さ優先ヒューリスティック探索によるソフトウェアモデル検査効率化
Digital博士論文障害者向け資料あり
前岡, 淳, Jun, MaeokaThe University of Electro-Communications2015-09-30学位論文
National Diet Library
  • Author Heading前岡, 淳 Jun, Maeoka

深さ優先ヒューリスティック探索によるソフトウェアモデル検査効率化

深さ優先ヒューリスティック探索によるソフトウェアモデル検査効率化
Digital博士論文障害者向け資料あり
前岡, 淳, Jun, Maeoka2015-09-30
National Diet Library

ソフトウェア工学の基礎 19 (レクチャーノート/ソフトウェア学 ; 38)

ソフトウェア工学の基礎 19 (レクチャーノート/ソフトウェア学 ; 38)
Paper図書
近代科学社2012.12<M159-L20>
National Diet LibraryOther Libraries in Japan
  • Contents...向けた探索範囲削減手法の検討 前岡 淳／著 COBOLシンボリック実行によるテストケース生成 前田...

ソフトウェア工学の基礎 20 (レクチャーノート/ソフトウェア学 ; 39)

ソフトウェア工学の基礎 20 (レクチャーノート/ソフトウェア学 ; 39)
Paper図書
近代科学社2013.11<M159-L297>
National Diet LibraryOther Libraries in Japan
  • Contents...に着目したモデル検査の効率化 前岡 淳／著 高度ICT人材育成教育における情報デザイン手法の導入事...

電子情報通信学会技術研究報告 : 信学技報

電子情報通信学会技術研究報告 : 信学技報
Paper雑誌雑誌タイトル
電子情報通信学会1987-2020<Z16-940>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

深さ優先ヒューリスティック探索によるソフトウェアモデル検査効率化

深さ優先ヒューリスティック探索によるソフトウェアモデル検査効率化
Digital博士論文
前岡, 淳
Available onlineOther Libraries in Japan
  • Author Heading前岡, 淳

Reached to the end of result.

RSS