オブジェクト指向代数仕様におけるモジュール再利用 : 経験レポート

スポンサーリンク

概要

論文の詳細を見る
代数仕様言語CafeOBJではモジュールをビルディングブロックとして仕様を作成する。実用規模の問題に対しては、モジュールの抽出、モジュール間の関係設定、モジュールの抽象レベル設定、等を適切に行なう必要があり、そのためのガイドラインあるいはモデリング手法が必要である。CafeOBJでは代数モデルによる性質規範スタイルで仕様作成することから、モデリングの問題と規範モデルの問題と呼ぶ2つの側面が重要であり、「疑似言語」を明確に意識することで、再利用性に優れたモジュール抽出が可能になる。酒屋在庫問題についての仕様作成経験をもとに具体的に考察する。
一般社団法人情報処理学会の論文
1998-05-15

著者

関連論文

もっと見る

スポンサーリンク