Research Projects

[PR2016-032]

pREvención de rieSgos Personales de ocIo y depoRtivos derivados de la calidad del Aire (RESPIRA)

[TIN2015-65845-C3-3-R]

Desarrollo y Análisis formal de sistemas complejos en contextos DistribuidOS: fundamentos, herramientas y aplicaciones (DArDOS)

[TIN2015-71841-REDT]

Red de Excelencia en Ingeniería de Software Basada en Búsqueda

[TIN2014-53986-REDT]

Red en Ciencia e Ingeniería de Servicios

[2013-031/PV/UCA-G/PR]

Mejora de la calidad de los datos y sistema de inteligencia empresarial para la toma de decisiones

[TIN2011-27242]

Extension of a model-driven methodology for SOA 2.0: testing and adapting services. MICINN.

[PR2011-004]

Verification, validation and adaptation in service-oriented architectures by applying a model-driven methodology.

[TIN2011-15497-E]

Red Científico-Tecnológica en Ciencias de los Servicios (RedCiS).

[TIN2011-15009-E]

Red Temática en Tecnologías para el Desarrollo Industrial de Software (TeDIS)

[TIN2010-12312-E]

Red sobre calidad del software aplicada

[TIN2010-09669-E]

Red Científico-Tecnológica en Arquitecturas y Desarrollo Orientado a Servicios

[TIN2007-67843-C06-04]

SOAQSim: Modelos de simulación basados en ontologías y mejora de procesos para arquitecturas orientadas a servicios