Capítulo III. Métodos formales e ingeniería del software

• Autores: Edgar Serna M.
• 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. 32-45
• Idioma: español
• Enlaces
  • Texto Completo Libro (pdf)
• Resumen

  • Los métodos formales surgieron como puntos de vista analíticos con los que es posible verificar el desarrollo de sistemas mediante la lógica y las matemáticas, lo que aporta ventajas para mejorar la calidad de los programas y por tanto a la Ingeniería del Software. En este campo del conocimiento la especificación formal es una de las más importantes fases del ciclo de vida, labor que requiere cuidado ya que su función es garantizar que tanto el funcionamiento como el desempeño del programa sean correctos, bajo cualquier situación. En el futuro los métodos formales deberían estar presentes como principios esenciales en el desarrollo de software, ya que se convierten en la base para aplicar las técnicas de prueba y, dado su principio matemático, en potencialmente automatizables.