1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2022
A formal algebraic approach for the quantitative modeling of connectors in architectures
Christina Chrysovalanti Fountoukidou, Maria Pittou
In this paper we propose an algebraic formalization of connectors in the quantitative setting, in order to address their non-functional features in architectures of component-based…
cs.LO2019
Modelling architectures of parametric weighted component-based systems
Maria Pittou, George Rahonis
The design of complex software systems usually lies in multiple coordinating components with an unknown number of instances. For such systems a main challenge is modelling efficien…
cs.LO2019★ 1 cited
Architectures in parametric component-based systems: Qualitative and quantitative modelling
Maria Pittou, George Rahonis
One of the key aspects in component-based design is specifying the software architecture that characterizes the topology and the permissible interactions of the components of a sys…