Modelado e Ingeniería del Software
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)