Towards the integration of formal specification in the Áncora methodology

Carlos Alberto Fernandez-y-Fernandez,Martín José José
DOI: https://doi.org/10.48550/arXiv.1111.1022
2011-11-04
Software Engineering
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.
What problem does this paper attempt to address?