Proceso y progreso de la formalización de requisitos en Ingeniería del Software

Resumen

Desde mediados del siglo pasado se inició la investigación en métodos formales y se presentaron propuestas y metodologías para aplicarlos en el desarrollo de software. La idea era superar la crisis del software mediante la matematización del ciclo de vida del desarrollo. Este artículo presenta los resultados de una revisión de la literatura sobre el progreso y desarrollo de la formalización de requisitos. La conclusión es que ambos aspectos son lentos: no hay suficiente interés en la industria, la academia no capacita en métodos formales y no hay patrocinio para este campo de investigación. Debido a la deficiencia en calidad, seguridad y fiabilidad del software, es necesario reactivar la investigación y experimentación con métodos formales, ya que se espera que las matemáticas sean la herramienta clave para superar la crisis del software.