2014/12/19

第7回 D-Case研究会のご案内

日時：平成２６年１２月１９日
場所：株式会社デンソークリエイト名古屋本社
　　　10F-D会議室(広小路第一生命ビル10F)

■プログラム予定
13:00　D-Case 部会　山本修一郎(名古屋大)　PDF

13:25　D-Case経験集の構築に向けて 松野裕(電通大)  PDF

13:55　三菱電機におけるD-Case活用事例 PDF
　　　　～ 期待結果の明確化と合意を目指して ～ 森素子(三菱電機)

14:25　休憩(10分)

14:35　名古屋大学でのD-Case教育と研究(名古屋大学)
　　　　・コンテクスト依存関係に基づくD-Caseレビュー手法の紹介　松村昌典 PDF
　　　　・名古屋大学におけるD-Case研究の状況と今後の展望　山本修一郎　PDF

15:50　開発現場へのD-Case導入事例の紹介 宇都宮浩之(デンソークリエイト) PDF

16:20　休憩(10分)

16:30　奈良先端大におけるD-Case教育と研究(奈良先端科学技術大学院大学)
　　　　・変化に対応するD-Caseの補助的な文法の提案　高井利憲、木藤浩之 PDF
　　　　・ビットコインによる決済を採用する企業を想定した
　　　　　アシュアランスケース(D-Case)記述演習　井上万実、高井利憲 PDF
　　　　・自動車の運転支援システムを想定した
　　　　　アシュアランスケース(D-Case)記述演習　柿本和希、高井利憲 PDF

17:45　閉会

18:00～20:00 懇親会:しゃぶ禅 名古屋栄店
　　　　　　　 参加費用：社会人 \6,000、学生さん \5,000

2014/07/11

第6回 D-Case研究会のご案内

開催概要

  • 日時：平成２６年７月１１日
  • 場所：東京大学本郷キャンパス工学部8号館地下一階85会議室

 プログラム

１　はじめに　14:00 - 14:10
　　松野裕（電気通信大学）　

２　自動車のAdaptive Cruise Control(ACC)システムにおけるD-Case実証実験 14:10-14:35
　　井上樹 (豆蔵)　

３　議論学とD-Case　14:35-15:00
　　木藤浩之　（東大）

15:00-15:20 休憩

４　イギリスでの安全性規格認証について、Safety Caseチュートリアル 15:20-17:20
　　Luke Emmet (Adelard) (日本語による翻訳つき)

18:00以降　懇親会

2014/03/18

第5回 D-Case研究会のご案内

開催概要

  • 日時：平成２６年３月１８日
  • 場所：国立情報学研究所　12F会議室（1208）

プログラム