Assurance Case作成手法(d*)の適用評価
スポンサーリンク
概要
- 論文の詳細を見る
現在,開発されている情報システムの多くは,様々なシステム(要素)が相互に依存しあうオープンシステムである.しかし,代表的なAssurance Caseの記法(GSN)では,複数の対象が同じ木構造の中で表現され,システム同士の依存関係が明確にならない.そこで,対象同士のDependabilityの依存関係を記述できるd* (d*Framework)手法の導入を,エレベーターの制御システムを例にとり適用評価した.
- 2012-03-08
著者
-
猿渡 卓也
株式会社NTTデータ
-
山本 修一郎
Ntt 情報流通プラットフォーム研究所
-
山本 修一郎
名古屋大学
-
山本 修一郎
名古屋大学情報連携統括本部
-
猿渡 卓也
名古屋大学大学院情報科学研究科
-
猿渡 卓也
名古屋大学大学院情報科学研究科:株式会社nttデータ
関連論文
- 知識流通ネットワーク研究会(SIG-KSN)(研究会総覧)
- 開放型演習による要求工学教育の経験(要求工学教育,プロジェクト管理)
- ビジネスゴールとITシステムゴールが混在する状況でのゴール指向要求分析方法論(システム分析)
- 2. アウトサイドイン指向ソフトウェア工学に向けて(ソフトウェア工学温故知新)
- CAiSE'06参加報告
- CAiSE' 06参加報告
- 業務アプリケーション開発へのUML Profile for EDOCの適用法の提案
- アクタ関係を用いたアスペクト要求分析
- CMCが拓く知識流通ネットワーク
- 4 非機能要求とゴール指向要求定義(要求工学)
- RFIDプライバシー保護についてのオントロジーアラインメント
- 正規表現の直和標準形 (情報科学の数学的基礎理論と応用)
- 企業内知識流通のモデル化 (第16回社会情報システム学シンポジウム)
- ゴール指向要求工学と推論(知能ソフトウェア工学〔第2回〕)
- 高信頼性大規模システム分析方式の課題
- 高信頼性大規模システム分析方式の課題
- 5.実践的セキュリティ要求工学に向けて(セキュリティ要求工学の実効性)
- アクタ関係行列によるVDM-SLの仕様記述法の検討
- RO-003 アクタ関係行列によるゴールモデリングの有効性評価(情報システム,査読付き論文)
- アクタ関係行列の有効性に関する統計的評価(要求獲得)
- アクタ関係に基づく要求獲得に関する一考察(要求獲得)
- i*フレームワークのSRモデルにおける段階的内部ゴール分析手法の提案(ソフトウェア要求のモデル化)
- i*フレームワークのSRモデルにおける段階的内部ゴール分析手法の提案(ソフトウェア要求のモデル化)
- i^*フレームワークにおけるアクタ依存関係の等価性
- i^*フレームワークにおけるアクタ依存関係の等価性
- GROUP・TOPICS 企業内SNSによる知識創造と知識管理
- アクタ関係行列を用いたiスターフレームワーク作成方法の実験評価
- セキュリティ要求工学の実践的な課題
- UMLリポジトリとその応用
- モデル指向要求工学の意義と取組の方向性
- MDAに基づくソフトウェア開発と従来手法の比較,及び実適用へ向けての考察
- MDAに基づくソフトウェア開発の事例と開発プロセス
- 依存関係図による仕様変更の影響追跡方法の検討
- アクタ関係行列を用いたiスターフレームワーク作成方法の提案(要求/教育)
- 利用シーンを考慮した、iスターフレームワークの適用上の課題(フレームワーク/サービス)
- ゴール指向によるITプロジェクト失敗のパターン
- 電子タグプライバシー保護ガイドラインのゴール分析(ビジネスモデリング(2),ビジネスモデリング及び一般)
- 電子タグプライバシー保護ガイドラインのゴール分析(ビジネスモデリング(2),ビジネスモデリング及び一般)
- RFIDシステム運用におけるプライバシ保護知識の考察(プライバシー・安全と可視化, 「安全・安心な社会生活の実現に向けた知識の活用とソフトウェア開発支援」及び一般)
- RFIDシステム運用におけるプライバシ保護知識の考察
- 要求の割付先としてのITと運用の選択基準(一般セッション)
- 要求の割付先としてのITと運用の選択基準(一般セッション,一般,フレッシャーズセッション)
- パターンを用いたゴール指向ビジネス企画手法の提案(一般セッション)
- パターンを用いたゴール指向ビジネス企画手法の提案(一般セッション,一般,フレッシャーズセッション)
- 状況とイベントを考慮したARM作成方法
- ゴールマネジメントフレームワークの提案と考察
- 属性値に基づくゴール選択手法の提案と考察(浸透するIT,進化するビジネスプロセス)
- CAiSE'06参加報告
- 継続的なゴール進化プロセス方法論の考察(プライバシー・安全と可視化, 「安全・安心な社会生活の実現に向けた知識の活用とソフトウェア開発支援」及び一般)
- 継続的なゴール進化プロセス方法論の考察 (テーマ:「安全・安心な社会生活の実現に向けた知識の活用とソフトウェア開発支援」および一般)
- 注文誘導型生産システムにおける参照モデルの提案(ソフトウェア工学)
- 日本における要求技術の現状と課題 : 要求セミナーでのアンケート結果から
- ICカードトランザクション処理方式の考察
- ICカードトランザクション処理方式の考察
- ICカードトランザクション処理方式の考察
- ICカード情報流通プラットフォーム:NICE (特集 ICカードの技術戦略)
- 組織間連携におけるユビキタスコンピューティングの役割と展望 : ビジネスコラボレーションの実現にむけて(ディジタルエンタープライズシステム(1))(ディジタルエンタープライズ,及び一般)
- EDOC2000参加報告
- 会議レポート:EDOC2000
- JavaOne 2002 San Francisco レポート
- ディレクトリサービスにおけるカテゴリ再構成作業支援に関する一検討
- D-13-8 連携トランザクション制御方式の提案
- KBSE2000-29 連携サービストランザクション方式の提案
- 持続的情報連携サービス分析方法論の研究課題
- 2ZE-7 アクタ関係表に基づくセキュリティ要求分析手法(SARM)の改良提案(認証プラットホーム,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- シナリオによるサービス連携方式の実験評価
- 21世紀のソフトウェア技術の研究動向
- 21世紀のソフトウェア技術の研究動向
- KBSE2000-33 ディレクトリサービスにおける2次元図形を用いた関心度分析手法の考察
- ビジネスフローにおける一貫性制約の記述手法の提案
- 嗜好の時間変化に対応したアクセス傾向分析方式の一提案
- 概念ベースを利用した画像検索方式についての提案
- ゴールの属性を用いたゴールグラフのチェック方法 (知能ソフトウェア工学)
- ソフトウェア高安全性分析技術の現状と課題
- ソフトウェア高安全性分析技術の現状と課題
- 活動分析設計法に基づくシステム運用知識の抽出と設計
- パターンを用いたゴール指向ビジネス企画手法の提案
- ゴール満足度行列を用いたゴールグラフ評価方法(知能ソフトウェア工学)
- 大学における研究活動の可視化手法の提案(知能ソフトウェア工学)
- ゴールの属性を用いたゴールグラフのチェック方法(学生,一般)
- 戦略図式の比較分析(学生,一般)
- IT運用知の社会的獲得手法の構築(知の社会的構築)
- 情報連携アーキテクチャ分析技法
- 3階層情報連携アーキテクチャの提案(知能ソフトウェア工学)
- 情報連携構造分析方法についての考察 : 持続的情報連携サービスの構築をめざして
- 故障分析票の最簡形について
- プロセス記述票に基づくソフトウェアFMEA分析法の提案
- 要求変化プロセスのモデル化についての考察
- プロセス記述票に基づくソフトウェアFMEA分析法の提案
- USDMのSysMLへの変換手順の提案 (知能ソフトウェア工学)
- 要求変化プロセスのモデル化についての考察
- Assurance Case作成手法(d*)の適用評価 (知能ソフトウェア工学)
- 情報連携メトリクスの提案
- 開発文書品質の研究課題についての考察
- USDMのSysMLへの変換手順の提案
- 要求表に基づくディペンダビリティ情報作成方法
- Assurance Case作成手法(d*)の適用評価
- 保証ケースを用いたサービス提供判断方法の提案
- 持続的情報連携サービス分析方法論の構築について
- USDMのSysMLへの変換手順の提案