第１日目　平成１７年１月２７日（木）
09:30 - 開場
10:00 - 10:10 開会挨拶
キーノート
10:10 - 11:10 "ものづくり"としての高品質なソフトウェア開発を目指して
(独)情報処理推進機構　ソフトウェア・エンジニアリング・センター
所長　鶴保 征城
11:10 - 11:20 休　憩
セッション 1-1 ソフトウェア開発・プロセス改善 (1)
11:20 - 11:55 プロダクトライン戦略による高信頼性ソフトウェアの実現
組込みソフトウェア管理者・技術者育成研究会(SESSAME)　　酒井 由夫
12:00 - 13:00 昼　食
セッション 1-2 ソフトウェア開発・プロセス改善 (2)
13:00 - 13:35 コードクローン解析に基づくリファクタリング支援
大阪大学大学院　情報科学研究科　肥後 芳樹
13:40 - 14:15 統合コンフィギュレーション管理の紹介
NEC東芝スペースシステム(株)　信頼性管理グループ　高橋 敏文
14:20 - 15:00 オムロン株式会社におけるソフトウェアプロセス改善活動事例
オムロン（株）SSBカンパニー　公共ソリューション事業部開発部　　高木 徳生
15:00 - 15:10 休　憩
セッション 1-3 Verification & Validation, TEST
15:10 - 15:45 Model-Based Verification of High Integrity System
T-VEC Technologies, Inc.Robert D. Busser
15:50 - 16:30 障害モードクラスツリーによるテストの改善とプロセスの改善
電気通信大学　電気通信学部　システム工学科　西 康晴
16:35 - 17:20 A Set of Techniques and a Toolset for Verification
& Validation of Embedded Safety Critical Software
Vice-President Critical Software SA　　Diamantino Goncalves Costa
17:25 - 18:10 不具合事例に基づくリスク管理と安全性
Japan Aerospace Exploration Agency 片平真史
18:30 - 20:00 懇親会

第２日目　平成１７年１月２８日（金）
09:30 - 開場
キーノート
10:00 - 11:00 クリティカル・ソフトウェア・システム開発の課題
松原コンサルティング　　松原 友夫
11:00 - 11:10 休　憩
セッション 2-1 モデリング、形式的手法 (1)
11:10 - 11:45 New Formal Verification Algorithm
有人宇宙システム（株）　　野本 秀樹
11:45 - 13:00 昼　食
セッション 2-2 モデリング、形式的手法 (2)
13:00 - 13:40 実行履歴に基づくアクセス制御系のモデル検査法について
奈良先端科学技術大学院大学　情報科学研究科　関 浩之
13:45 - 14:20 形式手法によるセーフティクリティカル組込みソフトウェアの開発環境
(株)シーディー・アダプコ・ジャパン　小西 晃輔
セッション 2-3 安全
14:25 - 15:05 鉄道システムの信頼性・安全性向上への取組み
(財) 鉄道総合研究所　人間科学研究部　安全性解析　研究室長　柴田 徹
15:10 - 15:50 人間を含むシステムを高信頼化するためのヒューマン・ファクタ管理手法
(独)電子航法研究所　上席研究員　塩見 格一
15:50 - 16:00 休 憩
セッション 2-4 ソフトウェア開発・プロセス改善 (３)
16:00 - 16:45 Improving Cost Estimation Capabilities in System Organizations
- Transparent Cost Estimation Modeling with CoBRAR -
Fraunhofer Institut Experimentelles Software EngineeringDr.Jurgen Munch
16:50 - 17:25 組織的リスク管理への挑戦とその効果
(株)SRA オープンソースカンパニー　　小嶋 勉
17:30 - 17:35 閉会挨拶