• Efficient execution of ATL model transformations using static analysis and parallelism 

      Sánchez Cuadrado, Jesús; Burgueño, Loli; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesus (2020)
      Although model transformations are considered to be the heart and soul of Model Driven Engineering (MDE), there are still several challenges that need to be addressed to unleash their full potential in industrial settings. ...
    • Incorporating Measurement Uncertainty into OCL/UML Primitive Datatypes 

      Fernández-Bertoa, Manuel; Burgueño, Loli; Moreno, Nathalie; Vallecillo-Moreno, Antonio Jesus (2020-06-01)
      The correct representation of the relevant properties of a system is an essential requirement for the effective use and wide adoption of model-based practices in industry. Uncertainty is one of the inherent properties of ...
    • Interconnecting IoT devices to improve the QoL of elderly people 

      Flores-Martin, Daniel; Pérez-Vereda, Alejandro; Berrocal, Javier; Canal-Velasco, Jose Carlos; Murillo, Juan M. (2020-06-15)
      The rate at which the Internet is growing is unstoppable due to the large number of connected smart devices. Manufacturers often develop specific protocols for their own devices that do not usually follow any standards. ...
    • Specifying Quantities in Software Models 

      Burgueño, Loli; Mayerhofer, Tanja; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesus (2020-06-08)
      Context: An essential requirement for the design and development of any engineering application that deals with real-world physical systems is the formal representation and processing of physical quantities, comprising ...