Residential Collegefalse
Status已發表Published
Contract oriented development of component software
Liu Z.1; Jifeng H.1; Li X.4
2004
Conference Name3rd International Conference on Theoretical Computer Science held at the 18th World Computer Congress
Source PublicationIFIP Advances in Information and Communication Technology
Volume155
Pages349-365
Conference DateAUG 22-27, 2004
Conference PlaceToulouse, FRANCE
Abstract

We present a model for component software. We describe how components are specified at the interface level, design level and how they are composed. From its external view, a component consists a set of interfaces, provided to or required from its environment. From its internal view, a component is an executable code that can be coupled with other components via its interfaces. The developer has to ensure that the specification of a component is met by its design and implementation. We also combine component-based and objectoriented techniques in component-based software development. © 2004 Springer Science + Business Media, Inc.

KeywordComponent Contract Interface Object-orientation Refinement
DOI10.1007/1-4020-8141-3_28
URLView the original
Indexed BySCIE
Language英語English
WOS Research AreaComputer Science
WOS SubjectComputer Science, Theory & Methods
WOS IDWOS:000227054700028
Scopus ID2-s2.0-18144419323
Fulltext Access
Citation statistics
Document TypeConference paper
CollectionDEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Affiliation1.United Nations University International Institute for Software Technology
2.East China Normal University
3.University of Leicester
4.Universidade de Macau
Recommended Citation
GB/T 7714
Liu Z.,Jifeng H.,Li X.. Contract oriented development of component software[C], 2004, 349-365.
APA Liu Z.., Jifeng H.., & Li X. (2004). Contract oriented development of component software. IFIP Advances in Information and Communication Technology, 155, 349-365.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Liu Z.]'s Articles
[Jifeng H.]'s Articles
[Li X.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Liu Z.]'s Articles
[Jifeng H.]'s Articles
[Li X.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Liu Z.]'s Articles
[Jifeng H.]'s Articles
[Li X.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.