討論テーマT1:「形式手法 ー普及拡大における課題とその解決ー」詳細プログラム
| 第1日目 2月4日(木) 14:00-17:30 | ||
| 14:00-14:10 | オープニング | |
| 14:10-15:40 | セッション 1:モデル検査の適用事例 (司会:横川智教) | |
|
1. 自然語要求仕様記述の形式検証に向けて-話題沸騰ポットのモデル検査-
遠藤健，小形真平，岡野浩三(信州大学)，関澤俊弦(日本大学) |
||
|
2. マイコンへのモデル検査適用事例の報告
早水公二(フォーマルテック) |
||
|
3. VBA で実装した医療業務支援システムを対象としたモデル検査の適用
鳥越貴之，宮崎仁(川崎医療福祉大学) |
||
| 15:40-16:00 | 休憩(予備時間を含む) | |
| 16:00-17:00 | セッション 2:形式手法の現場適用の取り組み (司会:早水公二) | |
|
1. 形式手法現場適用への取り組み
山崎雄大(日本電気) |
||
|
2. 形式手法を開発現場に持ち込むには -試験計画より始めよ-
山田隆弘(宇宙航空研究開発機構) |
||
| 17:00-17:30 | 予備時間 | |
| 第2日目 2月5日(金) 10:00-11:30 | ||
| 10:00-11:00 | セッション 3:アカデミアの取り組み (司会:早水公二) | |
|
1. 検証およびテスト技術の普及に資するアカデミアでの研究について
土屋達弘(大阪大学) |
||
|
2. 補間に基づく時間ペトリネットの非有界モデル検査
井川直，横川智教，佐藤洋一郎，有本和民(岡山県立大学)，近藤真史，宮崎仁(川崎医療福祉大学) |
||
| 11:00-11:30 | クロージング (司会:横川智教，早水公二) | |
| 参加者からのコメント & ワークショップまとめ | ||