Browsing Ingeniería de Sistemas by Author "Ariza Vargas, Elizabeth"
Now showing items 1-1 of 1
-
Nivel de desarrollo de la verificación formal
Ariza Vargas, Efilia; Ariza Vargas, Elizabeth (Instituto Tecnológico Metropolitano, Facultad de Ingenierías, Ingeniero de Sistemas, 2016)Los métodos formales se utilizan mayoritariamente para especificar y validar productos de software crítico, y poco a poco comienzan a penetrar la Ingeniería del Software tradicional para el desarrollo de aplicaciones de ...