Towards the integration of formal specification in the Áncora methodology

Details Towards the integration of formal specification in the Áncora methodology Towards the integration of formal specification in the Áncora methodology

2011-11-04

arxiv.org/abs/1111.1022v1

Computer Science

Software Engineering

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Towards the integration of formal specification in the Áncora methodology does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Towards the integration of formal specification in the Áncora methodology, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards the integration of formal specification in the Áncora methodology will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-100382