Listar Facultad de Minas por autor "Lenguajes computacionales"
Mostrando documentos 1-1 de 1
-
Representación de las mejores prácticas de verificación de sistemas de software en el núcleo de la Esencia de Semat.
Puerto García, CarlosSoftware System verification (SSV) is a crucial process allowing for assessing whether the established requirements are correct or not. SSV is intended to build software with quality. Common practices are used in some SSV ...