DocumentCode
2748020
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
fYear
2004
fDate
25-26 March 2004
Firstpage
306
Lastpage
307
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;
fLanguage
English
Publisher
ieee
Conference_Titel
High Assurance Systems Engineering, 2004. Proceedings. Eighth IEEE International Symposium on
ISSN
1530-2059
Print_ISBN
0-7695-2094-4
Type
conf
DOI
10.1109/HASE.2004.1281772
Filename
1281772
Link To Document