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