Sciweavers

ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
14 years 3 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan