講演番号 | 題目/著者 |
---|---|
B-001 | 列車統合管理システムのシステム試験仕様再利用技術の提案 辰巳 尚吾, 吉田 実, 河田 薫, 増渕 洋一, 梶田 清明, |
B-002 | 分野特化編集ツールと汎用表計算ソフトウェアによる大規模データの構築 : 監視制御設備モデルと仕様表のデータ変換 北村 操代, 原内 聡, 荻山 哲平, |
B-003 | シーケンス図と状態遷移図で記述されたUMLモデルを対象としたモデル検査による形式的検証 佐藤 貞仁, 宮崎 仁, 横川 智教, 佐藤 洋一郎, 早瀬 道芳, |
B-004 | 詳細仕様書を用いたテストコード自動生成ツールに関する研究 川田 将照, |
B-005 | 記録内容の柔軟かつ迅速な変更が可能な業務記録システムの提案 田代 大輔, 川本 真一, |
B-008 | 適切なクラス抽出を行うためのユースケース記述推敲支援 山梨 敦志, 松浦 佐江子, |