形式的仕様を用いた再利用モデル

• Item type: Journal(1)
• 公開日: 1995-05-15
• タイトル: 形式的仕様を用いた再利用モデル
• タイトル / 言語: en
• タイトル: A Model for Reuse Based on Formal Specifications
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 特集：ソフトウェア開発における仕様記述法とその適用
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: ソフトウェア再利用
• 著者所属: 名古屋大学工学部
• 著者所属: 北陸先端科学技術大学院大学情報科学研究科
• 著者所属: 名古屋大学工学部
• 著者所属: 名古屋大学工学部
• 著者所属(英): en
• 著者所属(英): School of Engineering, Nagoya University
• 著者所属(英): en
• 著者所属(英): School of Information Science, Japan Advanced Institute of Science and Technology
• 著者所属(英): en
• 著者所属(英): School of Engineering, Nagoya University
• 著者所属(英): en
• 著者所属(英): School of Engineering, Nagoya University
• 著者名: 川北, 誠; 酒井, 正彦; 山本, 晋一郎; 阿草, 清滋
• 著者名(英): Makoto, Kawakita; Masahiko, Sakai; Shinichirou, Yamamoto; Kiyoshi, Agusa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ソフトウェアの需要が高まるにつれて、ソフトウェアの信頼性や生産性の向上が要求されている。生産性を向上させる手段の一つとしてプログラミングの白動化がある。これは形式的な仕様からプログラムを自動生成する方法である。しかし、プログラムの効率を考えたときに必ずしも最良のプログラムが得られるわけではない。そこで既存の効率の良いソフトウェアを再利用する方法が考えられる。これは既存のソフトウェアの中から再利用可能なソフトウェアを検索し、変更を加えて、望むソフトウェアを得る方法である。本論文では、部晶の検索を仕様の類似性に基づいて行う方法について述べる。また要求に応じて変更するために既存の部品の変更点を求めることも、仕様に基づいて行う。これらのことを仕様に基づいて行うには、仕様を形式的に扱うことが必要となる。本論文では記述性、読解性に優れるという観点から、等式の集合で仕様を記述する代数的仕様を用いる。検索のために代数的仕様の類似性を定義する。類似性は等式を抽象化することによって得られる順序として与える。定義した類似性に基づく部品検索システムと検索結果について述べる。また、検索された部晶を再利用する方法を具体例で検討する。新しく得られたプログラムのうち60％程度既存の部品を再利用した例を示す。
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 36, 号 5, p. 1050-1058, 発行日 1995-05-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764