Projets finalisés

2024

  1. La Estructura de la Comunicación en Red y la Opinión Pública Inclusiva. Un Estudio con Técnicas de Big data y Ánalisis de Redes sociales

    RAFAEL CABALLERO ROLDÁN, JOSÉ MANUEL ROBLES MORALES

2018

  1. TÉCNICAS DE OBTENCIÓN, PROCESAMIENTO Y REPRESENTACIÓN DE INFORMACIÓN DIFUSA PARA LA TOMA DE DECISIONES

    DANIEL GÓMEZ GONZÁLEZ, FRANCISCO JAVIER MONTERO DE JUAN

  2. Next-GeneRation Energy-EfficieNt Secure Software.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

  3. ¿NOS DIRIGIMOS HACIA UNA SOCIEDAD DESINTERMEDIADA? UN ESTUDIO DE LA PARTICIPACIÓN SOCIAL MEDIANTE ANALISIS DE REDES, BIG DATA Y APRENDIZAJE AUTOMÁTICO.

    ADRIÁN RIESCO RODRÍGUEZ

2016

  1. VALIDACIÓN ASISTIDA DE PROGRAMAS MEDIANTE ANÁLISIS, ANOTACIONES, DEMOSTRACIONES MATEMÁTICAS Y PRUEBAS DE EJECUCIÓN

    RICARDO VICENTE PEÑA MARÍ

2013

  1. PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFWTARE DE LA COMUNIDAD DE MADRID

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2011

  1. SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2009

  1. PROGRAMA DE MÉTODOS PARA EL DESARROLLO DE SOFTWARE FIABLE DE ALTA CALIDAD Y SEGURO DE LA COMUNIDAD DE MADRID

    FRANCISCO JAVIER LÓPEZ FRAGUAS

  2. MÉTODOS FORMALES EN SISTEMAS SOFTWARE HETEROGÉNEOS

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2006

  1. Métodos y herramientas lógicas para el diseño y la verificación de Software Multi-Paradigma.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2001

  1. TECNICAS AVANZADAS DE DESARROLLO DE PROGRAMAS EN ENTORNOS DECLARATIVOS (TREND).

1998

  1. COMBINACION DE PARADIGMAS DE PROGRAMACION DECLARATIVA (CPD)