Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism

@article{Bernardi2018TowardsAM,
  title={Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism},
  author={Simona Bernardi and Stefano Marrone and Jos{\'e} Merseguer and Roberto Nardone and Valeria Vittorini},
  journal={Software & Systems Modeling},
  year={2018},
  pages={1-24}
}
Model-driven techniques can be used to automatically produce formal models from different views of a system realised by using several modelling languages and notations. Specifications are transformed into formal models so facilitating the analysis of complex system for design, validation or verification purposes. However, no single formalism suits for… CONTINUE READING