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

講演番号 題目/著者
B-017問いを中心としたステークホルダの課題獲得手法

畑中 翔太,  久代 紀之,  

B-018プロダクトライン開発におけるセミ形式化記述を用いた仕様整合支援ツール

小宮 紀之,  久代 紀之,  深澤 良彰,  

B-019要求、設計、評価工程をつなぐ仕様記述手法

久代 紀之,  小宮 紀之,  深澤 良彰,  

B-020デザインパターン検出結果を基にクラスを配置したプログラム設計理解のためのクラス図生成

鵜飼 公平,  酒井 三四郎,  松澤 芳昭,  

B-021タイムアウト機構を有するメッセージ交換プロトコルのUMLモデルとSPINモデル検査

坂本 統,  後藤 亮馬,  和崎 克己,  

B-022文字列一致による数学的等価性判定可能なモデル分割アルゴリズム

三鍋 孝介,  織田 健,