Grupos y líneas de investigación

Mostrar:

Grupos de investigación (listado alfabético)

Líneas de investigación (listado alfabético)

Grupos de investigación por centros

Líneas de investigación por centros


Búsqueda:

COMPLUTENSE GROUP ON PROGRAM ANALYIS AND TRANSFORMATION

Centro: F. INFORMATICA  Acceso a su web
Director/es:ALBERT ALBIOL, ELVIRA MARIA
Miembros:ARENAS SANCHEZ, PURIFICACION ; CORREAS FERNANDEZ, JESUS ; DOMENECH ARELLANO, JESUS JAVIER ; GENAIM , SAMIR ; GOMEZ-ZAMALLOA GIL, MIGUEL ; GORDILLO ALGUACIL, PABLO ; ISABEL MARQUEZ, MIGUEL ; MARTIN MARTIN, ENRIQUE
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
Portal Bibliométrico:Acceder