Resumen de Capítulo I. Los métodos formales en contexto
Edgar Serna M., Alexei Serna A
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.
