119
click to vote
SEFM
2009
IEEE
15 years 9 months ago
2009
IEEE
—Contracts and their composition may be used with different goals in a component-based design flow: on the one hand, a component contract describes the guarantees a component is...