SC:An Approach to Ensure Software Reliability and Reusability
Problems ofsoftware 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.
reliability reusability component formal method formal synthesis
Feiqiao Mao Deyu Qi Weiwei Lin
Department of Computer Science, South China University of Technology Guangzhou, 510640, China
国际会议
杭州
英文
1244-1249
2006-10-12（万方平台首次上网日期，不代表论文的发表时间）