PSPVDC: Una Propuesta que Incorpora el Diseño por Contrato Verificado al Personal Software Process

El desarrollo de software se ha vuelto una actividad muy importante en el mundo actual. Existen numeros procesos de desarrollo de software que buscan aumentar la calidad de los productos y disminuir los tiempos de salida al mercado. Sin embargo, el software contiene defectos y estos causan fallas potencialmente graves durante su ejecucion. Este trabajo propone un nuevo proceso de desarrollo de software denominado PSPVDC que combina el enfoque del Personal Software Process (PSP) y del Diseno por Contrato Verificado (VDbC) con el objetivo de mejorar la calidad de los productos con respecto al PSP. Ademas se presenta una revision sistematica de la literatura que busca conocer las adaptaciones al PSP que hayan sido documentadas, en particular aquellas que incorporan metodos formales.