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: 2016.