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

Editor: Edgar Serna M.

textos.info
Biblioteca digital abierta

Índice

Información

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

Otros textos

Texto núm. 7514

Título: Métodos Formales, Ingeniería de Requisitos y Pruebas del Software
Autor: Editor: Edgar Serna M.
Etiquetas: Métodos Formales, Ingeniería de Requisitos, Pruebas del Software, Ingeniería del Software

Editor: Editorial Instituto Antioqueño de Investigación
Fecha de creación: 2 de julio de 2022
Fecha de modificación: 2 de julio de 2022

Edita textos.info

Maison Carrée
c/ Ramal, 48
07730 Alayor - Menorca
Islas Baleares
España

Más textos disponibles en https://www.textos.info/

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.

Otros textos de Editor: Edgar Serna M.