システム運用障害を防止するための運用手順書へのSPINの適用
スポンサーリンク
概要
- 論文の詳細を見る
システム障害を防止するためには,システム開発と同様にシステム運用の品質を向上させることが重要となる.本稿ではシステム運用作業時の運用手順書の不具合を発見するために,モデル検査法であるSPINを適用することで,運用手順書の品質を向上させることができることを検証する.
- 2012-11-15
著者
関連論文
- 要求技術者のテクニカルスキルの形成に影響を与えた事象と認知に関する研究(要求工学教育,プロジェクト管理)
- 要求獲得に起因するスケジュール遅れを防ぐためのPMパターンの研究について(要求工学教育,プロジェクト管理)
- ロールに着目したビジネス領域における要求獲得手法RODANの提案(要求工学,ソフトウェア工学の理論と実践)
- 分散仮想マシンを用いたオブジェクト指向プログラミング環境
- ペンコンピュータのUnix
- 「アイコン投げ」ユーザインタフェース ( インタラクティブソフトウェア)
- 2307 高品質組込みソフトウェア設計における非機能要求に着目したプロジェクトマネジメント(一般セッション)
- 要求工学知識体系(REBOK)の開発
- 抽象状態同期による高機能ロックの実装と評価
- オブジェクト間の協調動作を表現する並列計算モデルと言語
- 対称型メッセージ送信とその実装
- パターン指向オブジェクト間協調計算モデルについて
- 並列オブジェクト協調記述言語Produce/1の実装
- パタ-ン指向オブジェクト間協調計算モデルについて
- 4.会社員,そして起業家,ときどき教鞭(女性たちが拓くIT-ITダイバーシティフォーラムより-)
- レストラン注文管理システムにおける統合型要求プロセスの調査
- 統合型要求工学の実証研究に向けて
- 統合型要求工学の実証研究に向けて
- 要求工学知識体系(REBOK)の開発
- 要求獲得計画に向けたPRINCEモデルのための要求計測ガイドライン
- ソフトウェア保守開発プロジェクトにおけるユーザの要求定義活動に関する研究(オントロジー,要求分析活動)
- 技術サービス支援ソフトの業務適合性測定
- SaaS(Software as a Service)システム構築のための一考察
- 社会人技術者のための要求工学教育と評価(要求工学・仕様化技術)
- 2 要求獲得技術(要求工学)
- 2212 プログラム統合マネジメントにおけるゴール指向分析によるコーディネート方法(一般セッション)
- 分散指向言語におけるオブジェクト外部情報の利用
- 分散オブジェクト指向言語の設計と実装
- 組み込みソフトウェアの要求分析におけるプロブレムフレームの活用
- システム運用時に発生する障害の再発防止策の適用方法に関する提案
- 情報システム調達仕様書の品質モデルの提案
- ソフトウェアレビューのための設計仕様メタモデルの提案
- ペンコンピュータのUnix
- 安全性向上への要求工学の貢献の可能性
- スレッドライブラリへの抽象状態同期の導入
- 抽象状態に基づく並列オブジェクト指向言語p6
- 要求工学のモデル論
- 三次元分析空間を用いた獲得容易性分析手法の提案(学生,一般)
- 問題フレームに基づく家電製品の非正常系シナリオの発見
- 設計仕様書のテンプレートを用いた設計仕様の依存関係を表すメタモデルの構築
- 高品質調達仕様書のための意見書を用いた品質モデルの評価
- 設計仕様書のテンプレートを用いた設計仕様の依存関係を表すメタモデルの構築
- 高品質調達仕様書のための意見書を用いた品質モデルの評価
- ERP導入の為のカスタマージャーニーマップを用いた顧客満足分析
- システム運用障害を防止するための運用手順書へのSPINの適用
- 要求抽出プロセス観察のための要求分類ルールの作成に向けて
- 要求分析のための質的調査に基づくAsWas-AsIs分析手法の提案
- シラバスに基づく産学における期待される人的資源の差異に関する研究
- 設計項目間の不整合を検出するためのレビューチェックリストの開発手法の提案(ソフトウェア工学,ソフトウェア基礎・応用論文)