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 |
Á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 |