WEKO3
アイテム
シーケンス図に基づくディペンダビリティケース作成法の適用性検討
http://hdl.handle.net/2237/23772
http://hdl.handle.net/2237/23772e38b1d2d-0614-432c-80a5-a889a4ea13f0
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
110009824824.pdf (738.8 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2016-03-08 | |||||
| タイトル | ||||||
| タイトル | シーケンス図に基づくディペンダビリティケース作成法の適用性検討 | |||||
| 言語 | ja | |||||
| その他のタイトル | ||||||
| その他のタイトル | A method to verify the applicability of the D-case based on Sequence diagram | |||||
| 言語 | en | |||||
| 著者 |
丁, 峰
× 丁, 峰× 山本, 修一郎× Ding, Feng× YAMAMOTO, Shuichiro |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 権利 | ||||||
| 言語 | ja | |||||
| 権利情報 | (c)一般社団法人電子情報通信学会 本文データは学協会の許諾に基づきCiNiiから複製したものである | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | ディペンダビリティケース | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | UML | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | シーケンス図 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 適用性 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | HAZOP | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | リスク | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | ガイドワード | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Dependability case | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Sequence diagram | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Experiment | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 筆者らはこれまでシーケンス図に基づくディペンダビリティケースの作成法を提案した.また名古屋大学の物品購入のシーケンス図を用いてこの作成法の有効性を確認した.本稿では、実際のシステムのシーケンス図を対してHAZOPによるリスク分析に基づく実験を行うことにより提案手法の適用性を評価する. | |||||
| 言語 | ja | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | We have proposed the method for developing a D-case based on Sequence diagrams. In this paper, an experimental result will be shown to evaluating the applicability of the method using HAZOP. | |||||
| 言語 | en | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | IEICE Technical Report;KBSE2013-45 | |||||
| 言語 | en | |||||
| 出版者 | ||||||
| 出版者 | 一般社団法人電子情報通信学会 | |||||
| 言語 | ja | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 関連情報 | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://ci.nii.ac.jp/naid/110009824824/ | |||||
| ISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 0913-5685 | |||||
| 書誌情報 |
ja : 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 巻 113, 号 215, p. 53-58, 発行日 2013-09 |
|||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| シリーズ | ||||||
| 関連名称 | IEICE Technical Report;KBSE2013-45 | |||||
| URI | ||||||
| 識別子 | http://ci.nii.ac.jp/naid/110009824824/ | |||||
| 識別子タイプ | URI | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/23772 | |||||
| 識別子タイプ | HDL | |||||
