Projets en cours

  1. Metodologías avanzadas para arquitecturas, diseño y pruebas de software

    MARÍA DE LAS MERCEDES GARCÍA MERAYO, MANUEL NÚÑEZ GARCÍA

Projets finalisés

2023

  1. FORmal models and Technologies for Emerging applications

    MANUEL NÚÑEZ GARCÍA

2022

  1. DESARROLLO DE TECNICAS Y METODOLOGIAS FLEXIBLES PARA LA OPTIMIZACION DE SISTEMAS CLOUD

    ALBERTO NÚÑEZ COVARRUBIAS

  2. MODELADO FORMAL Y MÉTODOS AVANZADOS DE TESTING. APLICACIONES A MEDICINA Y SISTEMAS COMPUTACIONALES.

    MARÍA DE LAS MERCEDES GARCÍA MERAYO, MANUEL NÚÑEZ GARCÍA

2019

  1. DESARROLLO Y ANÁLISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES

    MANUEL NÚÑEZ GARCÍA

  2. TÉCNICAS DE VISIÓN COMPUTERIZADA Y RECONSTRUCCIÓN 3D APLICADAS AL ESTUDIO DE LA CABEZA DEL NERVIO ÓPTICO Y ENFERMEDADES ASOCIADAS

    CARLOS GREGORIO RODRÍGUEZ

2018

  1. DESARROLLO DE SISTEMAS CONFIABLES MEDIANTE MODELOS Y HERRAMIENTAS AVANZADA.

    MANUEL NÚÑEZ GARCÍA

2015

  1. Especificación y Testing de Sistemas Altamente Distribuidos

    MANUEL NÚÑEZ GARCÍA

2013

  1. ADVANCED METHODOLOGIES AND TOOLS FOR TESTING AND SERVICES.

    MANUEL NÚÑEZ GARCÍA

2010

  1. FUNDAMENTOS Y APLICACIONES DEL TESTING

    MANUEL NÚÑEZ GARCÍA

2009

  1. MÉTODOS AVANZADOS DE TESTING

    ISMAEL RODRÍGUEZ LAGUNA

2006

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

    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