TThe article presents formal of the basic and important concepts for model of development component software, including interfaces, contracts, interaction protocols, components, component compositions and the relations among these notions, the calculates and refinements among theses. The specification and calculates and refinements implemented based on rCOS model, ensure corrects and consistent of systems. The works can implements in different stages of process software development. From that place shows meaning and need when formal development method for component-oriented software engineering.

Tải file Some calculations and refinements with components tại đây