Capítulo I. Los métodos formales en contexto
- 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. 15-23
- Idioma: español
- Enlaces
-
Resumen
La investigación alrededor de los métodos formales ha progresado en calidad y volumen en los últimos años; las herramientas y las ideas relacionadas se utilizan cada vez más en la industria y en la ciencia en una amplia variedad de formas; muchos de los problemas desafiantes en la construcción de sistemas software seguros, en la programación de procesadores multi-núcleo y en los sistemas ciber-físicos requieren el apoyo formal para su modelado y análisis, y en los procesos de investigación y aplicación de las Ciencias Computacionales y en otras disciplinas existe un número creciente de aplicaciones. Pero a pesar del creciente interés y de su necesidad e importancia, todavía no constituyen una parte integral de los procesos formativos convencionales en pregrado y posgrado. En este capítulo se resume algunos de los desafíos que enfrentan los métodos formales para lograr mayor utilización y aplicación en los procesos formativos y en la industria, y se describe las oportunidades para su aplicación tradicional y no-tradicional.
