Sugiere un título para la siguiente historia: 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
Un título posible para la siguiente historia podría ser: Métodos Formales, Ingeniería de Requisitos y Pruebas del Software