Financing detail

Authors: Maximiliano Cristiá.

Title: Aplicación de programación lógica de restricciones conjuntistas a la validación y verificación de softwa.

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