Resumen de Capítulo II. Perspectiva y aplicación de los métodos formales
Edgar Serna M., Alexei Serna A
En este capítulo se describe algunos aspectos relevantes de los métodos formales, se hace una descripción de su perspectiva histórica, de las definiciones ampliamente aceptadas, de sus aplicaciones y beneficios, y del marco del futuro de la investigación en el área. Es el resultado de una reflexión acerca de este componente de las Ciencias Computacionales y de la necesidad de tener una comunidad más amplia y sólida de investigadores, dedicada a fomentar y aplicar los métodos formales en la industria, pero también para que la academia los vea como un tema de formación en pregrado y posgrado.
