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 ;
 Descripción:
 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