| 講演名 | 2013-05-30 シーケンス図に基づくディペンダビリティケース作成法の研究(一般・学生) 丁 峰, 山本 修一郎, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ディペンダビリティケースはシステムの安全性を向上する技術として注目されています.この技術をシステムの開発プロセスに導入することが重要な課題になっている.本報告では、開発プロセスで利用されるシーケンス図の各方面を分析して、その結果に基づくディペンダビリティケース作成法を提案する. |
| 抄録(英) | Dependability case is one of the methods used to assure system safety and availability. In this paper ,a method to develop dependability case based on sequence diagram will be proposed by analysing the sequence diagram used in the system development phase. |
| キーワード(和) | ディペンダビリティケース / UML / シーケンス図 / システム開発 |
| キーワード(英) | Dependability Case / UML / Sequence Diagram / System Development |
| 資料番号 | KBSE2013-2 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2013/5/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | シーケンス図に基づくディペンダビリティケース作成法の研究(一般・学生) |
| サブタイトル（和） | |
| タイトル（英） | A method for developing a D-case based on Sequence diagram |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ディペンダビリティケース / Dependability Case |
| キーワード(2)（和/英） | UML / UML |
| キーワード(3)（和/英） | シーケンス図 / Sequence Diagram |
| キーワード(4)（和/英） | システム開発 / System Development |
| 第 1 著者 氏名（和/英） | 丁 峰 / Feng Ding |
| 第 1 著者 所属（和/英） | 名古屋大学大学院情報科学研究科山本研究室 Nagoya University, Gruduate School of Information Science, Yamamoto Lab. |
| 第 2 著者 氏名（和/英） | 山本 修一郎 / Shuichiro Yamamoto |
| 第 2 著者 所属（和/英） | 名古屋大学情報連携統括本部情報戦略室 Nagoya University, Strategy Office, Information and Communications Headquarters |
| 発表年月日 | 2013-05-30 |
| 資料番号 | KBSE2013-2 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | 71 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |