Completed projects

2014

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

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2012

  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. METODEOS FORMALES EN SISTEMAS SOFTWER HETEROGENEOS

    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).

    Mario RODRÍGUEZ ARTALEJO

1998

  1. COMBINACION DE PARADIGMAS DE PROGRAMACION DECLARATIVA (CPD)

    Mario RODRÍGUEZ ARTALEJO

1995

  1. DESARROLLO DE UN ENTORNO DE PROGRAMACION DECLARATIVA CON RESTRICCIONES RESTRICCIONES Y TECNICAS DE EJECUCION PARALELA.

    Mario RODRÍGUEZ ARTALEJO

1993

  1. DEDUCCION AUTOMATICA Y PROGRAMACION

    Mario RODRÍGUEZ ARTALEJO

1992

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

    Mario RODRÍGUEZ ARTALEJO

  2. DEDUCCION AUTOMATICA Y PROGRAMACION

    Mario RODRÍGUEZ ARTALEJO

1989

  1. INTEGRACION DE LA PROGRAMACION FUNCIONAL Y LOGICA

    Mario RODRÍGUEZ ARTALEJO