Towards trusted composition in software design

Jing Dong, Sheng Yang
Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.  
In this paper, we investigate the issues on software composition at the design level. A formal framework for component composition, replacement, refinement in software design is proposed. This framework can help software designers to design software systems from existing design components and to rigorously analyze these systems. Thus, wrong design decisions, errors, and inconsistencies can be detected early in the development process.
doi:10.1109/hase.2004.1281772 dblp:conf/hase/DongY04 fatcat:qsfy45ya3fcxlglvf5km5w4lvm