JAIST Repository >
School of Information Science >
JAIST Research Reports >
Research Report - School of Information Science : ISSN 0918-7553 >
IS-RR-2000 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/8388

Title: The tool that support highly reliable component-based software development
Authors: Matsumoto, Michihiro
Futatsugi, Kokichi
Issue Date: 2000-06-22
Publisher: 北陸先端科学技術大学院大学情報科学研究科
Magazine name: Research report (School of Information Science, Japan Advanced Institute of Science and Technology)
Volume: IS-RR-2000-018
Start page: 1
End page: 8
Abstract: 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
Material Type: publisher
Appears in Collections:IS-RR-2000

Files in This Item:

File Description SizeFormat
IS-RR-2000-018.pdf13762KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology