| 講演名 | 1995/11/17 コンポーネントウェアによる開発環境 : ソフトウェアファクトリー 掛本 喜嗣, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では、コンボーネントウェア技法を用いたソフトウェア開発環境である、ソフトウェアファクトリーの基本的な枠組について提案する。ソフトウェアファクトリーではコンポーネントのインタフェース形式することにより、各コンポーネントを容易に組み合わせられるようにする。さらに、形式的な検証を行ないやすくする。新た作成するコンポーネントの接合の検証手法として型推論の技法を用いる。本稿では、ソフトウェアファクトリーの基本的な概要を示すとともに、部品化およびオブジェクト指向開発環境とソフトウェアファクトリーとの関連性についても議論を行なう。 |
| 抄録(英) | In this paper, we propose the Software Factory, that is a software development environment based on the component ware. We make easy to composite every components though formalizing the interface of every components in the Software Factory. Additionally, it makes easy to verify formally. We apply the type theory for verifying connection among components that are developed newly. In this paper, we show the overview about the Software Factory and discuss about the relation between the software component for reuse, the object oriented developing environment and the Software Factory. |
| キーワード(和) | 部品化 / オブジェクト指向開発環境 / コンポーネントウェア / 型理論 |
| キーワード(英) | Software Components for reuse / Object-Oriented developing environment, Componentware / type theory. |
| 資料番号 | KBSE95-38 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1995/11/17(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | コンポーネントウェアによる開発環境 : ソフトウェアファクトリー |
| サブタイトル（和） | |
| タイトル（英） | The Software Developing Environment with Component-ware : Software Factory |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 部品化 / Software Components for reuse |
| キーワード(2)（和/英） | オブジェクト指向開発環境 / Object-Oriented developing environment, Componentware |
| キーワード(3)（和/英） | コンポーネントウェア / type theory. |
| キーワード(4)（和/英） | 型理論 |
| 第 1 著者 氏名（和/英） | 掛本 喜嗣 / Yoshitsugu Kakemoto |
| 第 1 著者 所属（和/英） | 情報技術統括部日本総合研究所 Information Technology and Development Department, The Japan Research Institute, Limited |
| 発表年月日 | 1995/11/17 |
| 資料番号 | KBSE95-38 |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 362 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |