D-Case活用事例
エンジン制御開発への適用
講演者 石崎 直哉 （トヨタ） PDF
D-Case活用事例：ETロボコンへの適用
講演者 伊東 敦 (富士ゼロックス) PDF
D-Caseを用いた要件定義プロセス
講演者 ㈱デンソークリエイト PDF
ETロボコン（作成中） ETロボコン（ゴール分析）
ツールA TCLの評価 ツールA ツール認定方法
リッチピクチャー
入退出管理システムのディペンダビリティ設計によるD-case研修
講演者 安川情報エンベデッド㈱ PDF
D-CaseによるLANアプリケーションのディペンダブル設計
講演者 ㈱サイバー創研 PDF
D-CaseとSysML/UML連携の実証実験
講演者 山本光洋 (チェンジビジョン) PDF
D-Caseを使ったロボットのディペンダビリティの保証
講演者 加賀美聡 (産総研) PDF
DEOSプロジェクト最新動向／SysMLとD-Caseの連携
講演者 屋代眞 (DEOSセンター) 豊田学 （日本IBM） PDF
DEOSプロジェクト最新動向とD-Case事例紹介
講演者 屋代眞 (DEOSセンター) PDF
D-Caseを用いた分散システムのモニタリング
講演者 中澤仁 (慶応大学) PDF
D-Caseレポジトリとステークホルダ
講演者 志田駿介 (横浜国立大学) PDF
D-Scriptを用いたD-Caseと実行環境の同期
講演者 岡本悠希 (横浜国立大学) PDF
System Assurance For Smart House
講演者 Khana Chindamaikul, Uematsu Yusuke, Jun Komeda (奈良先端大) PDF
車両間アドホックネットワークにおけるシステムアシュアランスの検討
講演者 鷲尾 直大 (奈良先端大) PDF
LEGO Mindstorms を用いたシーソー走行に関するアシュランスケースの検討
講演者 野村亮太 南秀和 (奈良先端大) PDF
Mobile Payment System を対象としたD-Case記述演習
講演者 Mehnaz Seraj、 Babatunde Ojetunde、高井利憲 (奈良先端大) PDF