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

講演番号 題目/著者
B-001列車統合管理システムのシステム試験仕様再利用技術の提案

辰巳 尚吾,  吉田 実,  河田 薫,  増渕 洋一,  梶田 清明,  

B-002分野特化編集ツールと汎用表計算ソフトウェアによる大規模データの構築 : 監視制御設備モデルと仕様表のデータ変換

北村 操代,  原内 聡,  荻山 哲平,  

B-003シーケンス図と状態遷移図で記述されたUMLモデルを対象としたモデル検査による形式的検証

佐藤 貞仁,  宮崎 仁,  横川 智教,  佐藤 洋一郎,  早瀬 道芳,  

B-004詳細仕様書を用いたテストコード自動生成ツールに関する研究

川田 将照,  

B-005記録内容の柔軟かつ迅速な変更が可能な業務記録システムの提案

田代 大輔,  川本 真一,  

B-008適切なクラス抽出を行うためのユースケース記述推敲支援

山梨 敦志,  松浦 佐江子,