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