loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh Asia-Pacific Software Engineering Conference (APSEC'00)
The support tool for highly reliable component-based software development
Singapore
December 05-December 08
ISBN: 0-7695-0915-0
ASCII Text
x 
 
M. Matsumoto, K. Futatsugi, "The support tool for highly reliable component-based software development," Asia-Pacific Software Engineering Conference, pp. 172, Seventh Asia-Pacific Software Engineering Conference (APSEC'00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.2000.896696,
author = {M. Matsumoto and K. Futatsugi},
title = {The support tool for highly reliable component-based software development},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {2000},
issn = {1530-1362},
pages = {172},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2000.896696},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - The support tool for highly reliable component-based software development
SN - 1530-1362
SP
EP
A1 - M. Matsumoto,
A1 - K. Futatsugi,
PY - 2000
KW - subroutines; software architecture; distributed object management; Java; software reliability; software tools; formal verification; formal specification; development systems; reliable component-based software development support tool; output reliability; automated refinement verification; automated connector generation; component-based software architecture; tree architecture; projection-style behavioral specification; requirements specification; refined specification; component combination; JavaBeans
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
M. Matsumoto, Graduate Sch. of Inf. Sci., Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
K. Futatsugi, Graduate Sch. of Inf. Sci., Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
We discuss a support tool for highly reliable component-based software development. The tool assures the high reliability of the output by verifying refinement and by generating connectors. The advantages of the tool are automated refinement verification and automated connector generation. As a software architecture for component-based software, we select the tree architecture, in which components are represented by a projection-style behavioral specification. The input of the tool is: (a) a requirement specification of the target software, (b) a refined specification specifying how to combine the components, and (c) the components themselves. (a) and (b) are projection-style behavioral specifications, while (c) are JavaBeans. The output of the tool is JavaBeans that are obtained by combining (c) and the generated connectors.
Index Terms:
subroutines; software architecture; distributed object management; Java; software reliability; software tools; formal verification; formal specification; development systems; reliable component-based software development support tool; output reliability; automated refinement verification; automated connector generation; component-based software architecture; tree architecture; projection-style behavioral specification; requirements specification; refined specification; component combination; JavaBeans
Citation:
M. Matsumoto, K. Futatsugi, "The support tool for highly reliable component-based software development," apsec, pp.172, Seventh Asia-Pacific Software Engineering Conference (APSEC'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.