Serviços Personalizados
Journal
Artigo
Indicadores
Citado por SciELO
Acessos
Links relacionados
Citado por Google
Similares em SciELO
Similares em Google
Compartilhar
Revista Ingenierías Universidad de Medellín
versão impressa ISSN 1692-3324versão On-line ISSN 2248-4094
Resumo
SUAZA JIMENEZ, Jorge Hernán e LORA PATINO, Gloria Amparo. Process and evolution of formal methods in requirements engineering. 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.
Requirements Engineering is considered the most important phase of the life cycle of software products because it specifies the needs of the customers, and it is also the basis for the execution of the other phases of software engineering. The models currently used to perform the requirements elicitation have been proposed and widely documented, but they are focused only on the techniques to collect information, disregarding the activity of properly documenting this information. Moreover, to structure the requirements specification, natural language continues to be used as a means of communication and understanding with the customer. Due to the ambiguities caused by this language, its interpretation becomes difficult, and this leads to reprocesses in the later stages of the software life cycle. According to the above, it is necessary for software development organizations to consider formalizing the process of requirements elicitation if they wish to make their development process more efficient. A literature review is carried out in this paper to determine the process and evolution of the formal methods from the requirements engineering perspective.
Palavras-chave : Formal methods; requirements engineering; software quality; mathematic language.