METODOS DE SEPARACIÓN Y SU USO EN LA INDUSTRIA
...situaciones no determinadas de un proyecto. Los métodos formales han surgido como enfoques analíticos en donde el desarrollo de software puede ser verificado por medio de poderosas teorías matemáticas, presentando ventajas en la calidad del software, tiempo de desarrollo, tamaño y complejidad de las pruebas. Este articulo muestra algunos proyectos en los que se emplearon …