Resumen

SUAZA JIMENEZ, Jorge Hernán  y  LORA PATINO, Gloria Amparo. Processo e evolução dos métodos formais na engenharia de requisitos. Rev. ing. univ. Medellín [online]. 2020, vol.19, n.37, pp.119-136.  Epub 04-Sep-2021. ISSN 1692-3324.  https://doi.org/10.22395/rium.v19n37a6.

A engenharia de requisitos é considerada a fase mais importante do ciclo de vida dos produtos de software, porque nela se especificam as necessidades dos clientes e é a base para a execução das demais fases da engenharia de software. Os modelos que atualmente são utilizados para realizar a elicitação de requisitos foram propostos e documentados de forma ampla, mas se centram só nas técnicas para coletar informação e descuidam a atividade de documentar de maneira adequada. Além disso, para estruturar a especificação de requisitos segue em uso a linguagem natural como forma de comunicação e entendimento com o cliente. Devido às ambiguidades que este causa, dificulta-se a interpretação; isso implica reprocessos nas etapas posteriores do ciclo de vida do software. De acordo com isso, é necessário que as organizações desenvolvedoras de software considerem formalizar o processo de elicitação de requisitos se desejam tornar mais eficiente seu processo de desenvolvimento. Neste artigo, faz-se uma revisão de literatura para determinar o processo e a evolução dos métodos formais a partir da perspectiva da engenharia de requisitos.

Palabras clave : métodos formais; engenharia de requisitos; qualidade do software; linguagem matemática.

        · resumen en Español | Inglés     · texto en Español     · Español ( pdf )