小林和貴, 岡野浩三, 楠本真二, "モデル検査器とDaikon を用いた表明動的生成改善 手法のシステム開発実プロジェクト教材への適用と評価," 電子情報通信学会技術報告, 2011年7月.
ID 188
分類 研究会・全国大会等
タグ Model checking
表題 (title) モデル検査器とDaikon を用いた表明動的生成改善 手法のシステム開発実プロジェクト教材への適用と評価
表題 (英文)
著者名 (author) 小林和貴,岡野浩三,楠本真二
英文著者名 (author) Kazuki Kobayashi,Kozo Okano,Shinji Kusumoto
キー (key) Kazuki Kobayashi,Kozo Okano,Shinji Kusumoto
定期刊行物名 (journal) 電子情報通信学会技術報告
定期刊行物名 (英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages)
刊行月 (month) 7
出版年 (year) 2011
Impact Factor (JCR)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@article{id188,
         title = {モデル検査器とDaikon を用いた表明動的生成改善 手法のシステム開発実プロジェクト教材への適用と評価},
        author = {小林和貴 and 岡野浩三 and 楠本真二},
       journal = {電子情報通信学会技術報告},
         month = {7},
          year = {2011},
}