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...
المؤلفون الرئيسيون: | Oliveira, M, Antonino, P, Ramos, R, Sampaio, A, Mota, A, Roscoe, A |
---|---|
التنسيق: | Journal article |
منشور في: |
Springer
2016
|
مواد مشابهة
-
Responsiveness of Interoperating Components
حسب: Roscoe, A, وآخرون
منشور في: (2004) -
On rigor
منشور في: (2002) -
The VISITOR Pattern as a Reusable, Generic, Type-Safe Component
حسب: Oliveira, B, وآخرون
منشور في: (2008) -
The VISITOR Pattern as a Reusable, Generic, Type-Safe Component
حسب: Oliveira, B, وآخرون
منشور في: (2008) -
Efficient verification of comcurrent systems using local analysis based approximations and SAT solving
حسب: Antonino, P, وآخرون
منشور في: (2019)