Rigorous development of component-based systems using component metadata and patterns
<p style="text-align:justify;"> In previous work we presented a CSP-based systematic approach that fosters the rigorous design of component-based development. Our approach is strictly defined in terms of composition rules, which are the only permitted way to compose components. Thes...
Main Authors: | , , , , , |
---|---|
Format: | Journal article |
Published: |
Springer
2016
|