INVESTIGADORES
GUTIÉRREZ BRIDA SimÓn Emmanuel
datos académicos
Título/s
Doctor en Ciencias de la Computación
Licenciado En Ciencias De La Computación
Licenciado En Ciencias De La Computación
Categoría
INV ASISTENTE
Disciplina científica
Informática y Comunicaciones
Informática y Comunicaciones
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA
Especialidad
Ingeniería de Software
Tema
Refinamiento automático de test suites para reparación automática de especificaciones formales.
Tema en inglés
Automatic refinement of test suites for automatic repair of formal specifications.
Palabras clave
Ingeniería de Software // Especificaciones Formales // Reparación Automática
Palabras clave en inglés
Software Engineering // Formal Specifications // Automatic Repair
Director
AGUIRRE, NAZARENO MATIAS / INV INDEPENDIENTE
Lugar de trabajo
GRUPO DE INGENIERIA DE SOFTWARE -
DEPARTAMENTO DE COMPUTACION -
FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES -
[UNRC] UNIVERSIDAD NACIONAL DE RIO CUARTO -
DEPARTAMENTO DE COMPUTACION -
FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES -
[UNRC] UNIVERSIDAD NACIONAL DE RIO CUARTO -
