Departamentos

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:

910606 - DESIGN AND TESTING OF RELIABLE SYSTEMS

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: ACEPTABLE (74.00) - Transferencia
Acrónimo - E_Mail: - mgmerayo@fdi.ucm.es
Director/es:GARCIA MERAYO, MARIA DE LAS MERCEDES ; LLANA DIAZ, LUIS FERNANDO
Miembros:BENITO PAREJO, MIGUEL ; CERRO CAÑIZARES, PABLO ; ESTEVEZ MARTIN, SONIA ; GOMEZ MARTINEZ, MARIA ELENA ; IBIAS MARTINEZ, ALFREDO ; MENDEZ HURTADO, MANUEL ; MONTERO REGUERA, CARLOS ; NUÑEZ GARCIA, MANUEL ; PAREJA FLORES, CRISTOBAL ; PICKIN , SIMON JAMES ; REQUENO JARABO, JOSE IGNACIO
Líneas de investigación:Evaluación del Rendimiento; Testing de software y de protocolos; Diseño de Sistemas Concurrentes; Modelado de Sistemas de Comercio Electrónico
Palabras clave:métodos formales; testing; testing formal; Testeado (semi)-automático de sistemas complejos; métodos formales para evaluación del rendimiento; especificación y testing de servicios web; Formal Methods; Evaluación del rendimiento
Acceso a su web:Acceder