|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b30. リサーチレポート >
Research Report - School of Information Science ： ISSN 0918-7553 >
IS-RR-2000 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/8388
|
| タイトル: | The tool that support highly reliable component-based software development |
| 著者: | Matsumoto, Michihiro
Futatsugi, Kokichi |
| 発行日: | 2000-06-22 |
| 出版者: | 北陸先端科学技術大学院大学情報科学研究科 |
| 誌名: | Research report (School of Information Science, Japan Advanced Institute of Science and Technology) |
| 巻: | IS-RR-2000-018 |
| 開始ページ: | 1 |
| 終了ページ: | 8 |
| 抄録: | We discuss the support tool for highly reliable component-based software development. The advantages of the tool are automated refinement verification and automated connector generation. As software architecture of component-based software, we select tree architecture, in which components are represented by projection-style behavioral specification. The input of the tool is (a) a requirement specification of target software, (b) a refined specification specifying how to combine components, and (c) the components. (a) and (b) are projection-style behavioral specifications. (c) is JavaBeans. The output of the tool is JavaBeans that is given by combining (c) and connectors. The tool assures high reliability of the output by verifying refinement and generates the connectors of (c). |
| URI: | http://hdl.handle.net/10119/8388 |
| 資料タイプ: | publisher |
| 出現コレクション: | IS-RR-2000
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| IS-RR-2000-018.pdf | | 13762Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
