El objetivo del trabajo fue generar material didáctico para el aprendizaje de la derivación de algoritmos en estilo imperativo, a partir de pre y postcondiciones, basado en el uso de invariantes. Para tal fin, se proponen: ...

El presente trabajo de investigación tiene como finalidad desarrollar la incidencia |de la programación en la gestión de costos del proyecto puente chamorro. El objetivo es determinar la incidencia de los elementos de ...

En el presente trabajo de título se visualizará la importancia de las funciones de la planificación y la programación dentro de la administración de proyectos de construcción, identificando los requerimientos administrativos ...

En este trabajo se estudia una metodología formal para el desarrollo de programas, basada en la Lógica de Hoare, utilizando el lenguaje Dafny, que tiene un compilador-verificador para este formalismo. Se presenta el ...