Búsqueda:

TESTING Y EVALUACIÓN DEL RENDIMIENTO


	Centro:	Informática
	Directores:	LUIS FERNANDO LLANA DIAZ
		MARIA DE LAS MERCEDES GARCIA MERAYO
	Descripción:	El Testing and Performance Evaluation Group es un grupo de investigación dedicado al estudio de métodos formales en el proceso del testing... Leer más... El Testing and Performance Evaluation Group es un grupo de investigación dedicado al estudio de métodos formales en el proceso del testing y al análisis y evaluación del rendimiento de sistemas informáticos. Cerrar...
	Líneas de investigación:	Métodos formales testing evaluación del rendimiento... Leer más... Métodos formales testing evaluación del rendimiento testing formal Testeado (semi)-automático de sistemas complejos métodos formales para evaluación del rendimiento especificación y testing de servicios web Testing Formal Methods Evaluación del rendimiento Cerrar...
	Palabras clave:	Formal methods; testing; formal semantics; performance evaluation
	Acceso a su web:	Acceder