Contract Oriented Development of Component Software.

Zhiming Liu,Jifeng He,Xiaoshan Li
DOI: https://doi.org/10.1007/1-4020-8141-3_28
2004-01-01
Abstract:Abstract We present a model for component software We describe how components are specified at the inter - face 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 object - oriented techniques in component - based software development
What problem does this paper attempt to address?