Application of D-Case to the data-upload flow diagram scenario of the Distributed E-Learning System called KISSEL
スポンサーリンク
概要
- 論文の詳細を見る
This paper (1) briefly describes and explain about the D-case technique and E-learning system (web portal) called KISSEL (Knowledge Integrated Server System for E-Learning), which was designed especially for the teachers' communities of E-learning in Asian and Pacific countries. (2) To point out a summary of the end result after the D-Case technique was applied to establish assurance to the "data/usage flow diagram scenario" of the KISSEL system. Applying D-Case to such small systems can still provide valid assurance about how dependable these non-complex systems are.
- 2012-11-15
著者
-
Yamamoto Shuichiro
Nagoya Univ. Nagoya‐shi Jpn
-
Matsuno Yutaka
Nagoya University, Japan
-
Pats Caise
Nagoya University, Japan
-
Yamamoto Shuichiro
Nagoya University, Japan
関連論文
- 知識流通ネットワーク研究会(SIG-KSN)(研究会総覧)
- 要求工学(第71回)BABOK 2.0の知識構成
- 開放型演習による要求工学教育の経験(要求工学教育,プロジェクト管理)
- 要求工学(第64回)Web2.0と要求管理
- アクタ関係を用いたアスペクト要求分析
- CMCが拓く知識流通ネットワーク
- RFIDプライバシー保護についてのオントロジーアラインメント
- 企業内知識流通のモデル化 (第16回社会情報システム学シンポジウム)
- ゴール指向要求工学と推論(知能ソフトウェア工学〔第2回〕)
- 高信頼性大規模システム分析方式の課題
- 高信頼性大規模システム分析方式の課題
- 5.実践的セキュリティ要求工学に向けて(セキュリティ要求工学の実効性)
- セキュリティ要求工学の実践的な課題
- 要求の割付先としてのITと運用の選択基準(一般セッション)
- 要求の割付先としてのITと運用の選択基準(一般セッション,一般,フレッシャーズセッション)
- 要求工学(第75回)運用要求定義
- 日本における要求技術の現状と課題 : 要求セミナーでのアンケート結果から
- ゴール満足度行列を用いたゴールグラフ評価方法 (知能ソフトウェア工学)
- アクタの相互作用に基づく要求抽出の完全性確認手法
- ビジネス・インテリジェンス・システムにおける情報要求の抽出手法
- 大学における研究活動の可視化手法の提案 (知能ソフトウェア工学)
- 3階層情報連携アーキテクチャの提案 (知能ソフトウェア工学)
- 要求工学(第77回)バランス・スコアカードの本質
- 知識流通に向けた企業コミュニケーション環境の統合化
- 要求工学(第76回)非機能要求とアーキテクチャ
- 持続的情報連携サービス分析方法論の研究課題
- 2ZE-7 アクタ関係表に基づくセキュリティ要求分析手法(SARM)の改良提案(認証プラットホーム,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- 独立検証及び妥当性確認と形式手法がもたらすソフトウェア開発プロセスの高信頼化
- 情報連携アーキテクチャ分析技法 (知能ソフトウェア工学)
- 要求工学(第74回)クラウド時代の要求
- 要求工学(第73回)第18回 要求工学国際会議
- 要求工学(第72回)比較要求モデル論
- 今、なぜ第三者検証が必要か--IV&Vと要求
- 要求工学(第69回)ビジネスゴールと要求
- 要求工学(第68回)活動理論と要求
- 要求工学(第67回)日本の要求定義の現状と要求工学への期待
- 要求工学(第66回)フィードバック型V字モデル
- 特別連載インタビュー 超ミッションクリティカルな宇宙航空プロジェクトの秘密(最終回)
- 要求工学(第65回)ソフト製品開発の要求コミュニケーション
- 特別連載インタビュー 超ミッションクリティカルな宇宙航空プロジェクトの秘密(5)
- 特別連載インタビュー 超ミッションクリティカルな宇宙航空プロジェクトの秘密(4)
- 要求工学(第63回)要求工学のオープンな演習の試み
- 特別連載インタビュー 超ミッションクリティカルな宇宙航空プロジェクトの秘密(3)
- 要求工学(第62回)オープンソースソフトウェアと要求
- 特別連載インタビュー 超ミッションクリティカルな宇宙航空プロジェクトの秘密(2)
- 要求工学(第61回)要求と保守・運用
- アーキテクチヤ論(27)アジャイル開発とアーキテクチヤ(3)
- Application of D-Case to the data-upload flow diagram scenario of the Distributed E-Learning System called KISSEL
- 要求工学(第105回)SEMATと保証ケース
- 要求工学(第110回)機能要求の分類
- 要求工学(第106回)Assure 2013の概要
- アーキテクチャ論(28)高保証アーキテクチャ標準O-DA
- 要求工学(第108回)要求に基づくテストの十分性
- シーケンス図に基づくディペンダビリティケース作成法の適用性検討 (知能ソフトウェア工学)
- 運用手順に対するアシュアランスケース作成法の比較評価 (知能ソフトウェア工学)
- 要求工学(第109回)システムの安全検証知識体系
- 非機能要求グレードの大学ポータルサービスへの適用についての考察 (知能ソフトウェア工学)
- アーキテクチャ論(31)ArchiMate2.0
- アーキテクチャ論(29)高保証アーキテクチャ開発法
- SEMATと保証ケースの関係についての考察 (知能ソフトウェア工学)
- 要求工学(第107回)要求の完全性
- ゴール構文表を利用したディペンダビリティケースのゴール分析法について (知能ソフトウェア工学)
- アーキテクチャ論(26)アジャイル開発とアーキテクチャ(2)
- アーキテクチャ論(30)高保証アーキテクチャ開発法(2)
- 要求工学(第104回)SEMATの活用
- アーキテクチャに基づく検証ケースの提案(一般)
- ソフトウェア知識体系の次元(KBSE研究会20周年記念講演)