• English
  • Youtube
  • Facebook
  • Twitter
  • Linkedin
  • Instagram
  • tiktok

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  Acceso a su web
Á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