Modelado e Ingeniería del Software

 →  MODELADO E INGENIERÍA DEL SOFTWARE

Modelado e Ingeniería del Software

Código: 197
Acronimo: miso
Tipo: Grupo consolidado
Email:
Categorías: PE6 Computer Science and Informatics
INF Ciencias de la computación y tecnología informática
Coordinador:
Miembros:
Enlaces:

Lineas de investigación:

Desarrollo de software dirigido por modelos Desarrollo automatizado de software Meta-modelado y modelado multi-nivel Lenguajes de dominio específico Transformaciones de modelos



Proyectos más relevantes:

Flexor: «Flexible Model-Driven Engineering for mobile, open, dynamic data systems» (2015-2018). MINECO (TIN2014-52129-R). SICOMORO-CM: «Desarrollo de Sistemas Confiables mediante Modelos y Herramientas avanzadas» (2014-2018). Comunidad de Madrid (S2013/ICE-3006). MONDO: «Scalable Modelling and Model Management on the Cloud» (2013-2016). Comisión Europea FP7-ICT-2013-10 (611125). Red de excelencia en Ingeniería del Software Dirigida por Modelos (2014-2016). MINECO (TIN2014-53555-REDT). Go-Lite: «Engineering Complex Systems with Simpler Model Driven Engineering» (2012-2015). MINECO (TIN 2011-24139).



Publicaciones más relevantes:

J. de Lara, E. Guerra. A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications. ACM Trans. Softw. Eng. Methodol. 25(4): 31:1-31:60 (2017) J. Sánchez Cuadrado, E. Guerra, J. de Lara. Static Analysis of Model Transformations. IEEE Trans. Software Eng. 43(9): 868-897 (2017) J. J. López-Fernández, E. Guerra, J. de Lara. Combining unit and specification-based testing for meta-model validation and verification. Inf. Syst. 62: 104-135 (2016) J. de Lara, E. Guerra, J. Sánchez Cuadrado. When and How to Use Multilevel Modelling. ACM Trans. Softw. Eng. Methodol. 24(2): 12:1-12:46 (2014) J. Sánchez Cuadrado, E. Guerra, J. de Lara. A Component Model for Model Transformations. IEEE Trans. Software Eng. 40(11): 1042-1060 (2014)

© 2021 Fundación de la Universidad Autónoma de Madrid