Financing detail
Authors: Maximiliano Cristiá.
Description: 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.
Project code: PICT-2014-2200.
From date: 42339
To date: 43435
Financing amount: 1578000
Coinage: Pesos
Financing type: Proyectos de I+D.
Disciplinary field: 1 - CIENCIAS NATURALES Y EXACTAS / 1.2 - Ciencias de la Computación e Información / 1.2.1 - Ciencias de la Computación.
Scope: Otros campos.
Specialty: Ingeniería de Software.
Principal's name: Maximiliano Cristiá.
Year: 2015.