Sciweavers

Share
ENTCS
2008
112views more  ENTCS 2008»
9 years 3 months ago
Residual for Component Specifications
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...
Jean-Baptiste Raclet
books