Sinopsis / Descripción

Obra colectiva editada por Edgar Serna M. y publicada gratuitamente por el Instituto Antioqueño de Investigación (Medellín, 2021) bajo licencia CC BY-NC-SA 4.0. Reúne trabajos de investigación sobre tres pilares de la calidad del software: los métodos formales para especificar y verificar sistemas con rigor matemático, la ingeniería de requisitos para elicitar, analizar, documentar y validar las necesidades de los usuarios, y las pruebas del software para asegurar su correcto funcionamiento. Útil para diseñar y construir sistemas inteligentes confiables.