El grupo de investigacion MEJORA DEL PROCESO SOFTWARE Y MÉTODOS FORMALES (SPI&FM, Software Process Improvement and Formal Methods) se creó en el año 2004 dentro del Plan Andaluz de Investigación, que le asigna la referencia TIC-195. Está integrado por un grupo de profesores del Departamento de Lenguajes y Sistemas Informáticos y tiene su sede en la Universidad de Cádiz.

Como su nombre indica, las líneas de investigación del grupo se centran en los campos de la mejora del proceso software y en los métodos formales, teniendo como objetivo final contribuir a mejorar la calidad del software a través de una mejor comprensión de los factores que tanto a nivel de proceso como de producto influyen en ésta.

Nuestras principales líneas de trabajo son:

La responsable del grupo es MERCEDES RUIZ CARREIRA.