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

Información sobre Grupos UCM GR15/17


Búsqueda:

971693 COMPLUTENSE GROUP ON PROGRAM ANALYIS AND TRANSFORMATION

Centro: F. INFORMATICA  Acceso a su web
Ámbito - Área AEI: ÁREA DE EXPERIMENTALES - CIENCIAS DE LA COMPUTACIÓN Y TECNOLOGÍA INFORMÁTICA
Valoración - Transferencia: BUENO - Transferencia
Acrónimo - E_Mail: COSTA - elvira@sip.ucm.es
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