@inproceedings{82f20e8520e645ecbae4c233b307bd60,
title = "Contract oriented development of component software",
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.",
keywords = "Component, Contract, Interface, Object-orientation, Refinement",
author = "Zhiming Liu and He Jifeng and Xiaoshan Li",
year = "2004",
doi = "10.1007/1-4020-8141-3\_28",
language = "英语",
isbn = "1402081405",
series = "IFIP Advances in Information and Communication Technology",
publisher = "Springer New York LLC",
pages = "349--365",
booktitle = "Exploring New Frontiers of Theoretical Informatics - IFIP 18th World Computer Congress TC1 and 3rd International Conference on Theoretical Computer Science, TCS 2004",
note = "IFIP 18th World Computer Congress, TC1 and 3rd International Conference on Theoretical Computer Science, TCS 2004 ; Conference date: 22-08-2004 Through 27-08-2004",
}