Residential College | false |
Status | 已發表Published |
Contract oriented development of component software | |
Liu Z.1; Jifeng H.1; Li X.4 | |
2004 | |
Conference Name | 3rd International Conference on Theoretical Computer Science held at the 18th World Computer Congress |
Source Publication | IFIP Advances in Information and Communication Technology |
Volume | 155 |
Pages | 349-365 |
Conference Date | AUG 22-27, 2004 |
Conference Place | Toulouse, 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. |
Keyword | Component Contract Interface Object-orientation Refinement |
DOI | 10.1007/1-4020-8141-3_28 |
URL | View the original |
Indexed By | SCIE |
Language | 英語English |
WOS Research Area | Computer Science |
WOS Subject | Computer Science, Theory & Methods |
WOS ID | WOS:000227054700028 |
Scopus ID | 2-s2.0-18144419323 |
Fulltext Access | |
Citation statistics | |
Document Type | Conference paper |
Collection | DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE |
Affiliation | 1.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. |
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment