Title :
Towards trusted composition in software design
Author :
Dong, Jing ; Yang, Sheng
Author_Institution :
Dept. of Comput. Sci., Univ. of Texas at Dallas, Richardson, TX, USA
Abstract :
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.
Keywords :
formal specification; software architecture; software development management; formal framework; software composition; software design; software development; Buildings; Computer science; Contracts; Formal specifications; Independent component analysis; Object oriented modeling; Programming; Software design; Software systems; Software tools;
Conference_Titel :
High Assurance Systems Engineering, 2004. Proceedings. Eighth IEEE International Symposium on
Print_ISBN :
0-7695-2094-4
DOI :
10.1109/HASE.2004.1281772
