Detalle del financiamiento
Autores: Maximiliano Cristiá.
Descripción: La construcción de software, por ser una tarea humana, está sujeta a errores. En el ámbito de la computación se ha atacado esta dificultad desde distintos ángulos. El objetivo de este proyecto es investigar y experimentar la aplicación de programación lógica de restricciones conjuntistas para la validación y verificación de programas.
Código del proyecto: PICT-2014-2200.
Desde fecha: 42339
Hasta fecha: 43435
Monto: 1578000
Moneda: Pesos
Tipo de financiamiento: Proyectos de I+D.
Campo disciplinar: 1 - CIENCIAS NATURALES Y EXACTAS / 1.2 - Ciencias de la Computación e Información / 1.2.1 - Ciencias de la Computación.
Campo de aplicación: Otros campos.
Especialidad: Ingeniería de Software.
Director: Maximiliano Cristiá.
Año: 2015.