形式的仕様記述プロセスにおけるモジュール協調
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,ソフトウェア開発における仕様プロセスの中でも,特に,その重要な一機能である「仕様生成」(その前プロセスである要求プロセスの出力[要求]をもとにどのように形式的仕様を記述すること)について論じる.仕様プロセスにおける活動に対する要求(制限)になる要求プロセスの特徴に関する考察をもとに,要求の追加や変更などに柔軟に対応しながら形式的仕様記述を得るための方法論の基礎となる形式的仕様記述言語の新しい機能を提案する.具体的には,モジュール演算の副作用として既存のモジュール群の変更を行なう機能を言語に付与し,モジュール演算を行なうときに起こる矛盾を自動的に解消できるようにする.本稿では,OBJ言語に新機能を加えるというアプローチをとったが,これらの新機能の要点は代数的仕様記述にあるのではなくモジュールの概念およびそれに関する操作にあるので,他の言語に対しても応用可能と考えられる.
- 一般社団法人情報処理学会の論文
- 1994-01-20
著者
関連論文
- 会話分析
- アスペクト概念を利用したゴール指向要求獲得法
- 要求分析のためのシソーラス作成支援
- 連想検索における属性語の抽出方式
- 連想ナビゲーション
- PAORE : パッケージ指向の要求獲得プロセス
- インタビューによる要求抽出作業を誘導するシステムの実現方法
- インタビューによる要求抽出作業を誘導するシステムの実現方法
- Flageアーキテクチャの構想
- LipidBank とマススペクトルデータベース MassBank
- 大腸菌文献データベース構築に向けた文書処理技術の評価(Bioinformatics)
- Conditional Random Fields法を用いたシグナルペプチドの開裂部分の予測(Sequence analysis)
- メタボローム解析のためのMSデータベース構築 (特集 メタボロミクス--包括的代謝物質解析の医学・バイオサイエンスへの応用)
- 要求獲得会議を分析することによるユーザ指向要求獲得法(要求工学)
- NaVigation Markup Language (NVML)の仕様と応用
- 問題点と解決策に注目した要求会議の持込資料の分析 : 「ウィンターワークショップ・イン・恵那」例題を題材にして
- 問題点と解決策に注目した要求会議分析における機能単位分析の適用と改良
- 「ワークショップ・イン・松山」報告
- 問題点と解決策に注目した要求会議分析における機能単位分析
- FDTを利用したソフトウェア群の保守
- 要求獲得法におけるオフライン法の実験
- 柔軟な仕様生成のための協調モジュール演算機能
- 形式的仕様記述プロセスにおけるモジュール協調
- モジュール間協調に基づく軟らかい形式的仕様記述
- 発話行為論に基づく要求獲得パラダイムの一提案
- 視聴覚的情報検索システムについて
- Flageアーキテクチャのための仕様合成メカニズム
- 化合物情報とマススペクトルを活用するためのウェブ基盤
- 文書クラスタリングを利用した検索質問展開手法の開発と評価