述語論理型仕様を用いた部品検索とその評価

スポンサーリンク

概要

論文の詳細を見る
ソフトウェア部品の再利用を行なうためには、部品を蓄積したデータベースとそれを管理するシステムが必要である。このシステムの重要な機能は、部品という複雑な対象に対して、利用者の要求を満たす部品を正確に高速にかつ検索することである。本論文では、まず、形式的仕様を用いる検索手法を示し、これを用いることによって、部品データベースシステムにおける、最も重要な機能である正確な検索が行なえることを示す。そして、この検索を高速に実行するための手法を示す。また、検索手法の応用として、部品の自動的な合成が検索と同じ枠組で実行可能であることを示す。最後に、これの手法を実験的なデータベースに適用した結果について報告する。
社団法人電子情報通信学会の論文
1993-09-21

著者

関連論文

もっと見る

スポンサーリンク