Resultados de la búsqueda

  • OBTENCIÓN DE SOFTWARE ADAPTABLE, ROBUSTO Y EFICIENTE AÑADIENDO REFLEXIÓN ESTRUCTURAL A LENGUAJES CON COMPROBACIÓN ESTÁTICA DE TIPOS [MICINN-12-TIN2011-25978]

    Organismo: MINISTERIO DE ECONOMIA Y COMPETITIVIDAD

    Fecha de Inicio:
    01 de Enero de 2012
    Fecha de Fin:
    31 de Diciembre de 2014
    Investigador responsable:
    • FRANCISCO ORTIN SOLER
    Participantes:
    • JOSE MANUEL REDONDO LOPEZ
    • BENJAMIN LOPEZ PEREZ
    • LUIS ANTONIO VINUESA MARTINEZ
    • MARIA PUERTO PAULE RUIZ
    • JUAN RAMON PEREZ PEREZ
    • RAUL IZQUIERDO CASTANEDO
    • DANIEL FERNANDEZ LANVIN
    • ALBERTO MANUEL FERNANDEZ ALVAREZ
    • VICTOR MANUEL ALVAREZ GARCIA
    • MIGUEL GARCIA RODRIGUEZ
    • JOSE BALTASAR GARCIA PEREZ-SCHOFIELD
    • JOSE QUIROGA ALVAREZ