2011年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
B-001要求分析モデルの妥当性検証のためのインタラクティブなテストデータ定義支援ツール

式見 遼,  小形 真平,  松浦 佐江子,  

B-002Webアプリケーションを対象とした高網羅率の単体テスト自動生成について

鎌田 高如,  樋口 昌宏,  

B-003ソフトウェア開発の上流工程での要求定義支援ツールについて

上田 翔太,  石野 正彦,  石田 秀信,  寺田 郁二,  

B-004オブジェクト指向プログラミング初学者のためのソースコード評価ツール

若林 智徳,  松浦 佐江子,  

B-005モデル検査ツールNuSMVを用いたオントロジー検証

阿部 雄貴,  鈴木 大輝,  和泉 諭,  小林 秀幸,  高橋 薫,  

B-006ロボット制御システム設計のUMLアクティビティ図に対するペトリネットによる正当性検証

關屋 貴詞,  和崎 克己,  

RB-001テスト設計手法PROST!

鷲見 毅,  加瀬 直樹,  市田 憲明,  小笠原 秀人,