Métodos Formales, Ingeniería de Requisitos y Pruebas del Software
Editor: Edgar Serna M.
Métodos Formales, Ingeniería de Requisitos, Pruebas del Software, Ingeniería 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.
Leer / Descargar texto 'Métodos Formales, Ingeniería de Requisitos y Pruebas del Software'
Creative Commons
1 pág. / 1 minuto / 29 visitas.
Publicado el 2 de julio de 2022 por Editorial Instituto Antioqueño de Investigación.
