Métodos Formales, Ingeniería de Requisitos y Pruebas del Software

El libro es sí es una recopilación de los trabajos del profesor Edgar Serna y su equipo, quienes han dedicado gran parte de su investigación a aportar al logro de la meta de mejorar los productos software, y que, si bien han sido publicados en revistas o presentados en Congresos, reunirlos en un texto completo es una apuesta para que los ingenieros de software tengan herramientas más cercanas. Se trata de una iniciativa en la que se reúne la producción de estos investigadores a partir de un programa de investigación estructurado y ejecutado por más de dos décadas.