Grupos de Investigación
Mostrar:
Grupos de investigación por centros
Grupos de investigación por Ámbito
Grupos de investigación por Área AEI
Grupos de investigación por referencia
Búsqueda:
971693 - COSTA - COMPLUTENSE GROUP ON PROGRAM ANALYIS AND TRANSFORMATION
Centro: | F. INFORMATICA |
Ámbito - Área AEI: | ÁREA DE EXPERIMENTALES - CIENCIAS DE LA COMPUTACIÓN Y TECNOLOGÍA INFORMÁTICA |
Valoración - Transferencia: | BUENO (76.50) - Transferencia |
Acrónimo - E_Mail: | COSTA - elvira@sip.ucm.es |
Director/es: | ALBERT ALBIOL, ELVIRA MARIA |
Miembros: | ARENAS SANCHEZ, PURIFICACION ; CORREAS FERNANDEZ, JESUS ; GENAIM QEDAN, SAMIR ; GOMEZ-ZAMALLOA GIL, MIGUEL ; GORDILLO ALGUACIL, PABLO ; HERNANDEZ CEREZO, ALEJANDRO ; ISABEL MARQUEZ, MIGUEL ; MARTIN MARTIN, ENRIQUE ; MERAYO CORCOBA, ALICIA ; RODRIGUEZ NUÑEZ, CLARA ; ROMÁN DIEZ, GUILLERMO; RUBIO GIMENO, ALBERTO |
Líneas de investigación: | Programación; Métodos formales de desarrollo de software; Verificación; Testing |
Palabras clave: | Lenguajes de programación; Técnicas de análisis y transformación de programas; Análisis de consumo de recursos; Análisis de terminación; Programación concurrente y distribuida; Verificación y testing de software |
Acceso a su web: | Acceder |