Resumo

SUAZA JIMENEZ, Jorge Hernán  e  LORA PATINO, Gloria Amparo. Proceso y evolución de los métodos formales en la ingeniería de requisitos. Rev. ing. univ. Medellín [online]. 2020, vol.19, n.37, pp.119-136.  Epub 04-Set-2021. ISSN 1692-3324.  https://doi.org/10.22395/rium.v19n37a6.

La ingeniería de requisitos se considera la fase más importante del ciclo de vida de los productos de software, porque en ella se especifican las necesidades de los clientes y es la base para la ejecución de las demás fases de la ingeniería de software. Los modelos que actualmente se utilizan para realizar la felicitación de requisitos se han propuesto y documentado de forma amplia, pero se centran solo en las técnicas para colectar información y descuidan la actividad de documentarla de manera adecuada. Además, para estructurar la especificación de requisitos sigue en uso el lenguaje natural como forma de comunicación y comprensión con el cliente. Debido a las ambigüedades que este causa, se dificulta la interpretación; esto conlleva reprocesos en las etapas posteriores del ciclo de vida del software. De acuerdo con ello, es necesario que las organizaciones desarrolladoras de software consideren formalizar el proceso de felicitación de requisitos si desean hacer más eficiente su proceso de desarrollo. En este artículo se hace una revisión de literatura para determinar el proceso y evolución de los métodos formales desde la perspectiva de la ingeniería de requisitos.

Palavras-chave : métodos formales; ingeniería de requisitos; calidad del software; lenguaje matemático.

        · resumo em Português | Inglês     · texto em Espanhol     · Espanhol ( pdf )