SC: An approach to ensure software reliability and reusability

Problems of software reusability and reliability deeply faze developers. Object-oriented technology does not solve the problems satisfactorily, though it can take some effect. The results from recent research in component-based development depend too much on developers' experience and commercial practice. Thus, more effective approaches are eager to be found. In this paper, first a model named Smart-Component (SC) with good reusability is proposed and its five core parts are defined, and then a formal method which contains four steps is introduced to ensure the reliability of application system integrated with SCs. Finally, an example of SCs integration is provided to show how to ensue the reliability of SC-based application system using this formal method.