Towards trusted composition in software design

Authors:
Jing Dong;Sheng Yang
Affiliations:
Department of Computer Science, University of Texas at Dallas, Richardson, TX;Department of Computer Science, University of Texas at Dallas, Richardson, TX
Venue:
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Year:
2004

Citing 6
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
The Unified Modeling Language user guide

The Unified Modeling Language user guide
Design components: toward software composition at the design level

Proceedings of the 20th international conference on Software engineering
Communication and Concurrency

Communication and Concurrency
Design by Contract: The Lessons of Ariane

Computer
Disaster in London: the LAS case study

ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems

Quantified Score

Hi-index	0.00

Visualization

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.