loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
28th Annual International Computer Software and Applications Conference (COMPSAC'04)
Formal Support for Development of JavaBeans™ Component Systems
Hong Kong
September 28-September 30
ISBN: 0-7695-2209-2
ASCII Text
x 
 
Bhim Prasad Upadhyaya, Zhiming Liu, "Formal Support for Development of JavaBeans™ Component Systems," Computer Software and Applications Conference, Annual International, vol. 1, pp. 23-28, 28th Annual International Computer Software and Applications Conference (COMPSAC'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/CMPSAC.2004.1342801,
author = {Bhim Prasad Upadhyaya and Zhiming Liu},
title = {Formal Support for Development of JavaBeans™ Component Systems},
journal ={Computer Software and Applications Conference, Annual International},
volume = {1},
year = {2004},
issn = {0730-3157},
pages = {23-28},
doi = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2004.1342801},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Formal Support for Development of JavaBeans™ Component Systems
SN - 0730-3157
SP23
EP28
A1 - Bhim Prasad Upadhyaya,
A1 - Zhiming Liu,
PY - 2004
KW - null
VL - 1
JA - Computer Software and Applications Conference, Annual International
ER -
 
Bhim Prasad Upadhyaya, United Nations University
Zhiming Liu, United Nations University
Component based software development focuses on building software systems by assembling existing software components. This makes the systems more maintainable, reduces development time and minimizes development as well as maintenance costs. The Java programming language supports component based software development through JavaBeansTM. Specifying JavaBeans in a natural language is ambiguous to the software systems developers. The use of a formal technique helps to express JavaBeans and consequently JavaBeans-based software systems precisely . This paper presents a formal model of JavaBeans, whereby a system can be divided into a number of interconnected JavaBeans. We adopt the notion of refinement to formalize the replaceability of JavaBeans.
Citation:
Bhim Prasad Upadhyaya, Zhiming Liu, "Formal Support for Development of JavaBeans™ Component Systems," compsac, vol. 1, pp.23-28, 28th Annual International Computer Software and Applications Conference (COMPSAC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.