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

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
URLView the original
Indexed BySCIE
WOS Research AreaComputer Science
WOS SubjectComputer Science, Theory & Methods
WOS IDWOS:000227054700028
Fulltext Access
Citation statistics
Cited Times [WOS]:14   [WOS Record]     [Related Records in WOS]
Document TypeConference paper
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
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.