ドメイン分析に基づく仕様再利用手法
スポンサーリンク
概要
- 論文の詳細を見る
ドメイン分析を活用した仕様再利用手法について述べる. 事務処理ドメインを事例としてドメイン分析を行い, この結果を反映させて, 要求定義モデルおよび仕様再利用モデルを提案する. 要求定義モデルは, 要求定義の作業手順と要求仕様の仕様記述法を提供する.仕様再利用モデルは, 仕様の部品化の指針および再利用手順を提供する. ここで再利用手順とは, 熟練技術者が経験的に獲得した望ましい再利用プロセスを記述した「再利用履歴」によるものである. これらのモデルを実アプリケーション開発に適用し, モデルの有効性を評価する. 評価により, これらのモデルが仕様の再利用を促進することを明らかにする. また, ドメイン分析を行うことにより, 仕様再利用モデルの適用可能性を判断でき, 適用効果が向上することを明らかにする.
- 社団法人情報処理学会の論文
- 1996-03-15
著者
-
本位田 真一
(株)東芝システム・ソフトウェア生産技術研究所
-
加賀谷 聡
株式会社東芝研究開発センターシステム・ソフトウェア生産技術研究所
-
名取 万里
株式会社東芝研究開発センターシステム・ソフトウェア生産技術研究所
-
名取 万里
(株)東芝研究開発センターシステム・ソフトウェア生産技術研究所
-
加賀谷 聡
(株)東芝研究開発センターシステム・ソフトウェア生産技術研究所
関連論文
- 8. オブジェクト指向分析・設計の実際と評価 ( オブジェクト指向分析・設計)
- 電力系統監視制御システムへのオブジェクト指向分析適用の試行
- 同期型待ち行列ネットワークのボトルネックに対する定性的なパラメータチューニング法
- 定性推論と定量推論を導入した待ち行列ネットワークのボトルネック診断と改善法
- 知識工学的手法による待ち行列ネットワークのボトルネック診断
- データ中心アプローチとユースケースに基づくオブジェクト指向フレームワーク構築手法
- ドメイン分析に基づく仕様再利用手法
- 通信プロトコル設計における準正常系記述支援手法
- 事務処理ソフトウェア開発における要求定義・仕様再利用技術
- 事務処理ソフトウェア開発における要求定義・仕様再利用支援技術(2)
- 事務処理ソフトウェア開発における要求定義・仕様再利用支援技術(1)
- 通信ソフトウェア開発支援環境--事象木に基づくサ-ビス仕様設計法
- Negative Pion Photoproduction from ^15N at E_γ=170 MeV
- 事務処理向けCASEツ-ルMYCASE (CASE)
- 40Ca(γ,π+)40K反応におけるスピン・アイソスピン反転遷移の研究
- (γ,π+)反応による40K低励起状態の研究
- 13p-PS-17 ^7Li(e,π^+)^7He^*高励起状態の研究 I
- 13C(γ,π-)13Ng.s. 反応の研究-1-
- 11a-KB-10 ^6Li(e,π^+)^6H^*_e. 高励起状態の研究
- TA-2-2 高水準ペトリネットによるソフトウェア設計法(TA-2. 高水準ペトリネットのシステムとソフトウェア開発への応用,チュートリアル講演)
- 代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法
- 仕様記述過程モデル化のための実験と分析
- 時相論理とその応用 (<特集>非標準論理とその応用)
- シミュレーション手法に基づいた並行処理ソフトウェアのプロトタイピング手法
- 知識工学手法による待ち行列ネットワークのボトルネック診断
- C-Prologコンパイラの開発(2) : 内部構造について
- C-Prologコンパイラの開発(1) : 設計思想について
- 産業界におけるソフトウェア・エンジニアリングの動向(ソフトウェアの品質保証について)
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- 時制論理とペトリネット(AIの推論とOR)
- Bee-gent:移動型仲介エージェントによる既存システムの柔軟な活用を目的としたマルチエージェントフレームワーク
- マルチエージェントフレームワークBee-gentを用いた分散システムにおけるデザインパラダイムの分類と評価
- 既存システムの柔軟な結合を可能にするエージェントフレームワークBe-gentの提案
- モバイルエージェントを用いた分散制約充足問題へのアプローチ : 分散協調型電力系統設備作業停止計画支援システムの開発
- 代数的仕様を用いたソフトウェア開発支援環境 : Metis-AS
- Metis-AS における代数的仕様の検証手続き
- 等式論理の帰納的定理を証明する手続き
- 代数的仕様のΔ拡張
- リアルタイムシステムにおけるプロトタイピングの一手法
- 複合ビューポイントに基づく仕様化プロセスの分析
- 代数的仕様記述と図式仕様記述の相補的役割について : 複眼的システムモデル
- 診断型エキスパート・システム (エキスパート・システム)
- 1. オブジェクト指向分析・設計 ( オブジェクト指向分析・設計)
- 3. 応用分野の最前線 3.4 制御分野における自動プログラミング (自動プログラミング)
- 代数仕様技術によるオブジェクト指向分析設計の検証支援
- 特集「ネット指向パラダイムを求めて」の編集にあたって
- 推論型システム記述言語 MENDEL
- 制約処理パターンを用いたオブジェクト思考ソフトウェア開発