research
∙
02/14/2022
A formal algebraic approach for the quantitative modeling of connectors in architectures
In this paper we propose an algebraic formalization of connectors in the...
research
∙
05/14/2019
Weighted parametric systems: Modelling and architecture
Modern systems' design usually lies in multiple components which are con...
research
∙
05/14/2019
Weighted parametric systems: Modelling and architecture specification
Modern systems' design usually lies in multiple components which are con...
research
∙
04/03/2019
Architecture modelling of parametric component-based systems
In this paper we are interested in the modelling of architectures of par...
research
∙
04/03/2019