書誌事項
- タイトル別名
-
- Assurance Case サクセイ シュホウ(d*)ノ テキヨウ ヒョウカ
- Evaluation of an Assurance Case development method (d*)
この論文をさがす
抄録
現在,開発されている情報システムの多くは,様々なシステム(要素)が相互に依存しあうオープンシステムである.しかし,代表的なAssurance Caseの記法(GSN)では,複数の対象が同じ木構造の中で表現され,システム同士の依存関係が明確にならない.そこで,対象同士のDependabilityの依存関係を記述できるd* (d*Framework)手法の導入を,エレベーターの制御システムを例にとり適用評価した.
収録刊行物
-
- 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学
-
電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 111 (489), 1-6, 2012-03
一般社団法人電子情報通信学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050845763734862976
-
- NII論文ID
- 110009546364
-
- NII書誌ID
- AA1123312X
-
- HANDLE
- 2237/23743
-
- NDL書誌ID
- 023569732
-
- ISSN
- 09135685
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles