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

講演番号 題目/著者
B-015販売管理システムに対応する再利用可能な上位設計とUML/PROMELA変換器を用いたモデル検査

高村　翔,  和崎克己,  

B-016テスト環境の変更コストを削減するテストケースの生成手法

橋本裕介,  酒井三四郎,  

B-017デバッグ支援を目的とした大域的動的依存性解析の効率化

楠　和馬,  久米　出,  波多野賢治,  

B-018IoTシステムにおける要求分析とリスク分析の指針提案

木村良太,  平山雅之,  小川　裕,  

B-019システム開発におけるユーザビリティを考慮したインタフェース設計手法

川谷公也,  平山雅之,  小川　優,  

B-020拡張可能なドキュメント検査ツールRedPen

伊藤敬彦,