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...

Full description

Bibliographic Details
Main Authors: Oliveira, M, Antonino, P, Ramos, R, Sampaio, A, Mota, A, Roscoe, A
Format: Journal article
Published: Springer 2016