Towards the integration of formal specification in the \'Ancora methodology

TL;DR

This paper proposes integrating formal methods into the Ancora methodology to improve requirements specification and software quality, addressing limitations of non-formal approaches.

Contribution

It introduces a novel approach to incorporate formal specification techniques into the Ancora methodology's requirements analysis process.

Findings

Enhanced requirements specification accuracy

Improved software quality metrics

Feasibility of formal methods integration

Abstract

There are some non-formal methodologies such as RUP, OpenUP, agile methodologies such as SCRUP, XP and techniques like those proposed by UML, which allow the development of software. The software industry has struggled to generate quality software, as importance has not been given to the engineering requirements, resulting in a poor specification of requirements and software of poor quality. In order to generate a contribution to the specification of requirements, this article describes a methodological proposal, implementing formal methods to the results of the process of requirements analysis of the methodology \'Ancora.