Thumbnail
Access Restriction
Subscribed

Author Upadhyayaand, B.P. ♦ Zhiming Liu
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2004
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Java ♦ Software systems ♦ Programming ♦ Computer languages ♦ Natural languages ♦ Application software ♦ Contracts ♦ Assembly systems ♦ Software packages ♦ Packaging
Abstract 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 JavaBeanstrade. 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
Description Author affiliation: Int. Inst. for Software Technol., United Nations Univ. (Upadhyayaand, B.P.; Zhiming Liu)
ISBN 0769522092
ISSN 07303157
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2004-09-28
Publisher Place China
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 281.34 kB
Page Count 6
Starting Page 23
Ending Page 28


Source: IEEE Xplore Digital Library