Capítulo II. Perspectiva y aplicación de los métodos formales

• Autores: Edgar Serna M., Alexei Serna A
• Localización: Métodos formales, ingeniería de requisitos y pruebas del software / Edgar Serna M. (ed. lit.), 2021, ISBN 978-958-53278-0-1, págs. 24-31
• Idioma: español
• Enlaces
  • Texto Completo Libro (pdf)
• Resumen

  • 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.