Current level of formal specification development

• Main Authors: Efilia Ariza V., Elizabeth Ariza V.
• Format: Article
• Language: Spanish
• Published: Instituto Antioqueño de Investigación (IAI) 2017-12-01
• Series: Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS)
• Subjects: Formal methods; software quality; Requirements Engineering; life cycle; specification languages; software crisis
• Online Access: http://www.fundacioniai.org//raccis/v7n2/n13a4.pdf

The challenge to overcome the software crisis more than five decades ago and, although has been significant progress, still is not overcome. Formal methods are a serious alternative in which currently it puts a lot of trust, but its development and progress not yet have sufficient momentum to disseminate as a tool in software engineering today. As a component of this technology, the formal specification is a technique in which efforts are invested and results are reported in the literature. This paper presents the results of a research, which aims is to determine the level of development of formal specification. According to the analysis of the literature review, was found that has not been exceeded the average level of this development. In the rest of the article is described the work done and the results are analyzed to arrive at this conclusion