A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
Verification support for plug-and-play architectural design
2006
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis - ROSATEA '06
In software architecture, components are intended to represent the computational units of the system and connectors are intended to represent the interactions between those units. Choosing the semantics of these interactions is a key part of the design process, but the wide range of alternatives from which to choose and the complexity of the behavior affected by the choices makes it difficult to get them right. We propose an approach in which connectors with particular semantics are constructed
doi:10.1145/1147249.1147255
dblp:conf/issta/WangAC06
fatcat:thjqrnlahzcpjo5wjti4xv67rq