Titile

El objetivo general del trabajo de tesis es adaptar el PSP a métodos formales. En particular en método formal seleccionado es JML.
A partir de la adopción de PSP a JMP proponemos llevar a cabo uncaso de estudio para evaluar esta adopción, tomar medidas y comparar con otros resultados existentes.
El Personal Software Process (PSP) es un proceso de desarrollo de software para un individuocreado por el Software Engineering Institute. El PSP aplica disciplina de proceso y gestión cuantitativa al trabajo del profesional de software. Este proceso promueve la mejora en la calidad del producto yun aumento en la productividad del individuo; existen numerosos estudios empíricos que lo avalan [1,2, 3, 4].
El PSP establece las fases del proceso a ejecutar desde que el profesional recibe losrequerimientos de un módulo de software hasta que libera el mismo. Las principales fases son: diseño, revisión del diseño, codificación, revisión de código, compilación y pruebas unitarias

Eningeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos. Los métodos formales secaracterizan por emplear técnicas y herramientas matemáticas para lograr una facilitación a la hora de encarar la construcción o el análisis de un modelo matemático de un sistema.
Los métodos formaleshacen uso de la demostración matemática como complemento a la verificación del sistema para garantizar un comportamiento correcto [5].

JML es un lenguaje formal de especificación de comportamiento declases Java y registra las decisiones de diseño e implantación mediante la utilización de pre condiciones, pos condiciones e invariantes.

En [6] se presenta una combinación del método formal B yPSP para evaluar la calidad del software en tiempo y dentro del presupuesto planificado. Esta combinación PSP-B tiene como objetivo proporcionar a los desarrolladores individuales de B un paradigma de...