FODAフィーチャー・ダイアグラムの形式化と検査の自動化
スポンサーリンク
概要
- 論文の詳細を見る
FODA(Feature-Oriented Domain Analysis)ではフィーチャー・ダイアグラムが中心的な役割を果たす。実適用する際には、フィーチャー抽出のモデリング技法を整理し、フィーチャー・ダイアグラム記法の意味を明確化する必要がある。本稿では、フィーチャー間の局所的な関係を中心に考えるモデリング技法を採用する。また、フィーチャー・ダイアグラムを命題論理の考え方で形式化することで、与えられたダイアグラムの整合性や妥当性をAlloyを用いて自動検査する方法を提案する。
- 2007-09-03
著者
-
鵜林尚靖
九州大学
-
中島 震
特集編集委員
-
中島 震
国立情報学研究所:総合研究大学院大学
-
鵜林 尚靖
九州工業大学
-
鵜林 尚靖
東京大学総合文化研究科
-
中島 震
国立情報学研究所 アーキテクチャ科学研究系:科学技術振興機構 Sorst
-
中島 震
情報・システム研究機構国立情報学研究所:科学技術振興機構さきがけ
-
中島 震
情報・システム研究機構 情報学研
-
中島 震
国立情報学研究所|総合研究大学院大学
-
中島 震
国立情報学研
-
中島 震
総合研究大学院大学|国立情報学研究所
関連論文
- テスト駆動開発を支援するためのデバッグ関心事グラフ(デバッグ,モデル駆動開発)
- Webアプリケーション・フィーチャのアスペクト隠蔽
- アーキテクチャ設計と実装をつなぐインタフェース機構Archface
- 要求獲得に起因するスケジュール遅れを防ぐためのPMパターンの研究について(要求工学教育,プロジェクト管理)
- 組込みシステム非正常系分析手法の定性推論による定式化
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- RBACモデルの形式検証と修正支援(形式手法(1)・言語(学生セッション))
- AOPによるWebアプリケーションの要求監視
- 関心事指向アーキテクチャモデリング環境
- Webコントローラ層におけるアスペクト指向プログラミング
- 契約に基づいたアスペクト指向リファクタリングの検証(学生セッション B_テスト・検証)
- 拡張可能なアスペクト指向モデリングにおける織り合わせの検証(学生セッション A_モデル指向(1))
- 組込みシステムにおける外部環境の分析(組込み・アスペクト指向)
- ミドルウェアアクセスのためのアスペクト指向記述
- アスペクト指向に基づくMDAモデルコンパイラとその実装
- 連想アスペクト(アスペクト指向)
- 組込みシステムの外部環境分析のためのUMLプロファイル(仕様,設計,移植)
- 代数仕様言語Maudeを用いた制約オートマトンの実現(形式的手法)
- 2307 高品質組込みソフトウェア設計における非機能要求に着目したプロジェクトマネジメント(一般セッション)
- Cプログラム・モデル検査におけるDbC(一般セッション2:モデル検査とコデザイン)
- 自律分散型道路交通システムを対象としたゴール指向要求分析手法(システム分析)
- 特集「未来志向のソフトウェア工学」の編集にあたって
- 組込みソフトウェア非正常系の概念モデル(ミドルウェア・組込み)
- ジョインポイント写像によるドメイン特化AO機構の開発手法
- 組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化
- 組込みシステム非正常系分析におけるQFDとガイドワードに関する考察
- 情報フロー・ダイアグラムと分析マトリクスを統合した組込みソフトウェア非正常系要求分析手法の適用事例と考察
- 情報フロー・ダイアグラムによる組み込みソフトウェア非正常系の要求分析の一手法(開発環境,組込みシステム工学)
- 情報フロー・ダイアグラムによる組込みソフトウェア非正常系の分析手法
- 組込みソフト非正常系における基礎モデル及び仕様分析手法の提案(Web, 組込み(学生セッション))
- 組込みソフトウェア非正常系の概念モデルによる情報フロー・グラフの解析
- 組込みソフトウェア仕様抽出のための非正常系分析マトリクス(ミドルウェア・組込み)
- 九州大学における先導的PBL教育の評価分析
- ポリシー規則と振る舞い仕様の分離への書き換え論理アプローチ(一般セッション)
- ユビキタスアプリケーション向け移動エージェントの相互運用
- Alloyによる設計記述と自動検査(システム設計のための形式手法の基礎と応用)
- 2809 効率的な要求獲得によるリスク回避の実証研究(一般セッション)
- レストラン注文管理システムにおける統合型要求プロセスの調査
- 組込みシステムの外部環境に着目した動作仕様検証
- 2415 プロジェクトマネジメント手法定着のための人的資源マネジメントに関する一考察 : 組織-個人統合モデルの提案による定着過程の分析(一般セッション)
- 哲学ゼミの10年から見たソフトウェア・モデリングの一考察
- コンテキストベース・プロダクトライン開発とVDM++の適用(ソフトウェアプロダクトライン開発,ソフトウェア工学の理論と実践)
- 統合型要求工学の実証研究に向けて
- 統合型要求工学の実証研究に向けて
- 組込みシステムの外部環境分析のためのUMLプロファイル(仕様,設計,移植)
- 組込みシステムの外部環境分析のためのUMLプロファイル(仕様,設計,移植,組込技術とネットワークに関するワークショップETNET2007)
- 組込みシステムの外部環境分析のためのUMLプロファイル(仕様,設計,移植,組込技術とネットワークに関するワークショップETNET2007)
- 組込みシステムの動作環境の特徴に着目した仕様分析手法の提案(セッション1)
- 組込みシステムにおける動作条件分析手法の提案
- 検証モデリングの比較検討 : 組込みシステムの事例(組込みシステム,一般)
- 1307 CCPM導入事例におけるヒューマンファクタの分析 : ローラーの期待理論モデルの適用(一般セッション)
- 1103 組込みソフトウェア開発上流工程における要求トレーサビリティ・モデルを用いた非正常系分析支援(一般セッション)
- QFDによる組込みソフトウェア分析・設計の品質管理モデリングに関する一考察(組込みソフトウェア開発のPM)
- 2510 プロジェクト・マネジメントのモデリングに関する考察(一般セッション)
- 1202 QFDによる組込みソフトウェア分析・設計の品質管理モデリングに関する一考察(一般セッション)
- 形式的洗練パターンによるコンポーネントベース・ゴールモデリング手法
- Event-Bで書かれたシステム要求仕様の妥当性検査
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- 特集「組込みシステム工学」の編集にあたって
- 移動エージェント相互運用の実現 : 基本アーキテクチャ
- 3S-4 移動エージェント相互運用の実現 : ディレクトリサーバ
- 3S-3 移動エージェント相互運用の実現 : インカネーションエージェントによる相互運用の実現
- 3S-2 移動エージェント相互運用の実現 : 基本アーキテクチャ
- 3S-1 移動エージェント相互運用の実現 : 背景と構想
- 開放型分散アスペクト指向フレームワークの高度道路交通システムヘの適用
- Webアプリケーション開発向けAOP機構の実装(Webアプリケーション(学生セッション))
- SPINによる仕様記述言語の検証
- 特集「ソフトウェア開発を支援する基盤技術」の編集にあたって(ソフトウェア開発を支援する基盤技術)
- 仕様記述言語Zと証明環境Isabelle/HOL-Z(ソフトウェア紹介,先端ソフトウェアツール)
- 形式手法の潮流 : アーキテクチャへの関心(システム設計のための形式手法の基礎と応用)
- 制約概念を用いるソフトウェアデザイン
- Alloy : 自動解析可能なモデル規範形式仕様言語
- 有界モデル検査法を用いたCプログラムのモジュラー検証
- FODAフィーチャー・ダイアグラムの形式化と検査の自動化
- 有界モデル検査法を用いたモジュラー検証のテストケース生成による補完
- 飛行船自動航行システム開発におけるSysMLを用いたプロセス改善事例
- 非正常系現象に着目した組込みシステムの障害シナリオ分析手法
- プログラム簡易検証ツールESC/Java2(ソフトウェア紹介,先端ソフトウェアツール)
- 先端ソフトウェアツール小特集(先端ソフトウェアツール)
- dcNavi:デバッグを支援する関心事指向推薦システム
- ソフトウェアモデル検査とテストケース生成の統合
- 有限Alloy記述の段階的な構築について
- OSSプロジェクトにおける開発者の活動量を用いたコミッター候補者予測(ソフトウェア工学)
- 自己適応 Web アプリケーションシステム : 概念アーキテクチャと実現フレームワーク
- アーキテクチャ点写像による設計・コード間の双方向追跡
- アーキテクチャ点写像による設計・コード間の双方向追跡
- アーキテクチャ点写像による設計・コード間の双方向追跡
- リポジトリマイニングに対するHadoopの性能評価
- クラッシュログを用いたソースコード不具合箇所の特定に向けた分析
- ソフトウェア変更に対するバグ予測モデルの精度評価
- GPGPUを用いたリポジトリマイニングのための外部ドメイン専用言語QORALの提案
- リポジトリマイニング向けドメイン専用言語の設計と実装
- PBLにおける発想法とロジカルシンキングの導入事例
- アーキテクチャ点写像による設計・コード間の双方向追跡
- PBLにおけるデザイン思考の導入事例
- ソフトウェア開発プロジェク卜をまたがるJust-In-Timeバグ予測の実験的評価
- Alloyによるリポジトリマイニング向けドメイン専用言語の構築支援(一般)
- Alloyによるリポジトリマイニング向けドメイン専用言語の構築支援(一般)
- 11種類のfault密度予測モデルの実証的評価(ソフトウェア工学)
- リポジトリマイニングの進化に対応した分析ツールE-CUBEの構築