概念データモデルで記述された仕様の検証
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェアの生産性と信頼性を向上させるためには,プログラム仕様の再利用性が重要である.筆者らは仕様の再利用性を向上させるために,ERモデルに基づき計算を記述するために従属性制約を用いた,理解性,拡張性に優れた非手続き的なプログラム仕様記述言語PSDLと,そのコンパイラを提案した.また,PSDLを用いたプログラム仕様の開発支援システムSoftReuseを作成し,ソフトウェア記述実験を行ない生産性の向上を確認した.これらの環境を使ったプログラムの開発においては,プログラムは自動生成されるのでその段階での誤りの混入はない.しかし,プログラムの元となるPSDL仕様に誤りが存在した場合には,その修正が必要になるが,誤りの発見は簡単なことではない.そのため,仕様の誤りを見つける仕組みを開発する必要がある.そこで,我々は仕様の誤りの検出能力のある関数型言語に着目し,PSDLを関数型言語へ変換して検証する方法を開発した.その手法について報告する.
- 一般社団法人情報処理学会の論文
- 1994-03-01
著者
関連論文
- マルチベンダ指向リアルタイムソフトウェアプラットフォーム
- 通信サービス概念モデルの応用に関する一考察
- ヒューリスティックなカットセット解析によるPSDLコンパイラの処理ネック解決
- 通信サービス要求記述における視点と概念
- 概念データモデルで記述された仕様の関数型言語への変換
- 通信サービス要求記述における概念の理解手法
- オントロジーによる通信サービス要求定義手法
- 通信サービス開発へのオントロジーの導入
- 要求記述支援のための通信サービス事例検索法
- 属性操作による通信サービスの発想支援
- ネットワークサービス概念体系に基づく要求記述の意味理解
- 事例からの新しい通信サービスの導出
- 新しい通信サービス提案に対する支援について
- 概念モデルに基づく知識を用いた要求獲得
- 事例ベース推論に基づく通信サービス要求獲得手法
- 通信サービス機能の概念表現に関する一考察
- 領域モデルに基づく通信サービス要求獲得
- ドキュメントと概念の対応管理に基づくドキュメント保守支援
- 日本語による通信サービス仕様記述から形式言語への変換
- 概念構造を利用したドキュメント保守支援方式
- 通信サービスモデルに基づく要求記述,獲得手法
- 概念データモデルで記述された仕様の検証
- 設計事例データベースを用いた設計支援方式
- 設計情報再利用支援における事例提示方式
- 概念モデルに基づく通信サービス仕様記述法