講演名 | 2012-11-22 アシュアランスケース構築法の提案 松野 裕, 高井 利憲, ヴァイセ パトゥー, 山本 修一郎, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | アシュアランスケースがシステムのディペンダビリティを保証する手法として注目を集めている。しかし一般の技術者にわかりやすいアシュアランスケースの構築法は特に日本ではあまり知られていない。本稿では、一般の技術者および大学生などを対象としたアシュアランスケースの構築法を提案する。またその有効性を学生への模擬実習において評価を行う。 |
抄録(英) | Assurance Cases have been recognized as a promising method for dependability assurance. However, there has not been a writing method which is easy to understand for ordinary engineers, specially in Japan. In this paper, we propose a writing method targeting ordinary engineers and university students. The method is accompanied with lectures and exercises. We did preliminary experimental lectures and exercises for 17 engineers. We show the preliminary results. |
キーワード(和) | アシュアランスケース / 講義 / 演習 / メトリクス |
キーワード(英) | Assurance Cases / Lectures / Exercises / Metrics |
資料番号 | KBSE2012-40 |
発行日 |
研究会情報 | |
研究会 | KBSE |
---|---|
開催期間 | 2012/11/15(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
---|---|
本文の言語 | JPN |
タイトル(和) | アシュアランスケース構築法の提案 |
サブタイトル(和) | |
タイトル(英) | A Writing Method for Assurance Cases |
サブタイトル(和) | |
キーワード(1)(和/英) | アシュアランスケース / Assurance Cases |
キーワード(2)(和/英) | 講義 / Lectures |
キーワード(3)(和/英) | 演習 / Exercises |
キーワード(4)(和/英) | メトリクス / Metrics |
第 1 著者 氏名(和/英) | 松野 裕 / Yutaka MATSUNO |
第 1 著者 所属(和/英) | 名古屋大学 Nagoya University |
第 2 著者 氏名(和/英) | 高井 利憲 / Toshinori TAKAI |
第 2 著者 所属(和/英) | 奈良先端科学技術大学院大学 National Advanced Institute of Science and Technology |
第 3 著者 氏名(和/英) | ヴァイセ パトゥー / Vaise PATU |
第 3 著者 所属(和/英) | 名古屋大学 Nagoya University |
第 4 著者 氏名(和/英) | 山本 修一郎 / Shuichiro YAMAMOTO |
第 4 著者 所属(和/英) | 名古屋大学 Nagoya University |
発表年月日 | 2012-11-22 |
資料番号 | KBSE2012-40 |
巻番号(vol) | vol.112 |
号番号(no) | 314 |
ページ範囲 | pp.- |
ページ数 | 5 |
発行日 |