Projectes vigents

  1. Métodos rigurosos para el desarrollo de sistemas software de calidad y fiabilidad certificadas

    NARCISO MARTÍ OLIET, FERNANDO RUBIO DÍEZ

Projectes finalitzats

2022

  1. Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis

    FERNANDO RUBIO DÍEZ

  2. Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis.

    FERNANDO RUBIO DÍEZ

2019

  1. TECNOLOGÍAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CONSCIENTE DE LOS RECURSOS, CORRECTO Y EFICIENTE

    NARCISO MARTÍ OLIET

2018

  1. NEXT-GENERATION ENERGY-EFFICIENT SECURE SOFTWARE.

    NARCISO MARTÍ OLIET

2015

  1. TECNOLOGÍAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACIÓN ABIERTO Y FIABLE

    NARCISO MARTÍ OLIET

2014

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

    NARCISO MARTÍ OLIET

2012

  1. ADVANCED METHODOLOGIES AND TOOLS FOR TESTING AND SERVICES.

    MANUEL NÚÑEZ GARCÍA

  2. DESARROLLO DE SOFTWARE DE ALTA CALIDAD. FIABLE, DISTRIBUIDO Y SEGURO

    NARCISO MARTÍ OLIET

2010

  1. FUNDAMENTOS Y APLICACIONES DEL TESTING

    MANUEL NÚÑEZ GARCÍA

  2. DESARROLLO DE SOFTWARE DE ALTA CALIDAD FIABLE DISTRIBUIDO Y SEGURO -SUBPROYECTOS DE LA UNIVERSIDD COMPLUTENSE DE MADRID-

    NARCISO MARTÍ OLIET

2009

  1. MÉTODOS AVANZADOS DE TESTING

    ISMAEL RODRÍGUEZ LAGUNA

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

    NARCISO MARTÍ OLIET

2006

  1. Metalenguajes para el diseño y análisis integrado de sistemas móviles y distribuidos.

    NARCISO MARTÍ OLIET

  2. Testing y evaluación del rendimiento: modelos y aplicaciones a sistemas multi-agente.

    MANUEL NÚÑEZ GARCÍA

  3. Diseño e implementación de sistemas multimedia eficientes con uso de tecnicas formales.

    MANUEL NÚÑEZ GARCÍA

2003

  1. DESARROLLO FORMAL DE SISTEMAS BASADOS EN AGENTES MOVILES Y EVALUACION DE RENDIMIENTOS.

    DAVID DE FRUTOS ESCRIG

2000

  1. DESARROLLO FORMAL DE SISTEMAS DISTRIBUIDOS.

    DAVID DE FRUTOS ESCRIG

1999

  1. EDEN: DESARROLLO DE UN LENGUAJE FUNCIONAL-CONCURRENTE.

1997

  1. DISEÐO INTEGRAL DE SISTEMAS DE COMUNICACIONES (DISC)

    DAVID DE FRUTOS ESCRIG

1994

  1. EXTENSIONES DEL LENGUAJE LOTOS: TIEMPO REAL PRIORIDADES PROBABILIDADES MODULARIDAD Y TIPOS EJECUTABLES.

    DAVID DE FRUTOS ESCRIG

1992

  1. BABEL: DISEÐO E IMPLEMENTACION DE UN LENGUAJE LOGICO-FUNCIONAL CONCURRENTE.