by Dragos Truscan | Mar 16, 2020 | article
Papyrus is a Unified Modeling Language (UML) modeling tool for the Eclipse Modeling Framework and provides tool support for executable UML modeling. It includes technologies for the simulation and debugging of models, as well as editing facilities to produce...
by Dragos Truscan | Mar 8, 2020 | article
Due to the widespread availability of high-speed Internet, the level of expectation of the users with respect to the performance of web-based software systems has changed dramatically. For instance, about 40% of the customers will abandon a web application if the...
by Alba Torrado | Jan 16, 2020 | article
MegaM@Rt2 is a European project involving 27 organizations, grouped in clusters from 6 different countries. Its main aim is providing a series of software modelling tools that help organizations to improve their productivity and the quality of their results. The...
by Jordi Cabot | Jan 13, 2020 | article
Hierarchical block diagrams (HBDs) are at the heart of embedded system design tools, including Simulink. Numerous translations exist from HBDs into languages with formal semantics, amenable to formal verification. However, none of these translations has been proven...
by Jordi Cabot | Dec 2, 2019 | article
Performance-driven software evolution presents a high complexity due to two causes: (i) performance is a quality attribute that emerges from the combination of different factors (e.g., workload, software deployment, hardware utilization), hence it is difficult to...
by Alba Torrado | Nov 22, 2019 | article
Helsinki was the official venue for the EFECS event where MegaM@rt2 was represented by the Finnish and Swedish and Spanish consortium. The 19,20 and 21 of November in the Finish capital, the partners showed the new steps that MegaM@rt2 project is going to follow and...
