Reflecting on Formal Methods

Reflecting on Formal Methods

Mathematize Software Engineering is the dream of many mathematicians and computer scientists for over half a century, and Formal Methods is designed and structured technology to address the problem of software quality. In this article is presented a reflection on formal methods, with a view to contr...

Full description

Bibliographic Details
Main Authors: Stella Höhn, Ricardo Maldonado
Format: Article
Language:Spanish
Published: Instituto Antioqueño de Investigación (IAI) 2015-06-01
Series:Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS)
Subjects:
Complexity
Computer Science
formality
Mathematics
Software Engineering
Online Access:http://fundacioniai.org//raccis/v5n1/n8a2.pdf
id doaj-cb8ab0265d704f3d9bcdb75dbbfa12a0
record_format Article
spelling doaj-cb8ab0265d704f3d9bcdb75dbbfa12a02020-11-24T22:46:05ZspaInstituto Antioqueño de Investigación (IAI)Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS)2248-74412015-06-01511417Reflecting on Formal MethodsStella Höhn0Ricardo Maldonado1Universidad de CambridgeUniversidad de CambridgeMathematize Software Engineering is the dream of many mathematicians and computer scientists for over half a century, and Formal Methods is designed and structured technology to address the problem of software quality. In this article is presented a reflection on formal methods, with a view to contributing to the discussion of its benefits and restrictions. The objective is that the future be different for software and for those who manufacture, so that in this way the society can enjoy the best quality products and reliability.http://fundacioniai.org//raccis/v5n1/n8a2.pdfComplexityComputer ScienceformalityMathematicsSoftware Engineering
collection DOAJ
language Spanish
format Article
sources DOAJ
author Stella Höhn
Ricardo Maldonado
spellingShingle Stella Höhn
Ricardo Maldonado
Reflecting on Formal Methods
Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS)
Complexity
Computer Science
formality
Mathematics
Software Engineering
author_facet Stella Höhn
Ricardo Maldonado
author_sort Stella Höhn
title Reflecting on Formal Methods
title_short Reflecting on Formal Methods
title_full Reflecting on Formal Methods
title_fullStr Reflecting on Formal Methods
title_full_unstemmed Reflecting on Formal Methods
title_sort reflecting on formal methods
publisher Instituto Antioqueño de Investigación (IAI)
series Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS)
issn 2248-7441
publishDate 2015-06-01
description Mathematize Software Engineering is the dream of many mathematicians and computer scientists for over half a century, and Formal Methods is designed and structured technology to address the problem of software quality. In this article is presented a reflection on formal methods, with a view to contributing to the discussion of its benefits and restrictions. The objective is that the future be different for software and for those who manufacture, so that in this way the society can enjoy the best quality products and reliability.
topic Complexity
Computer Science
formality
Mathematics
Software Engineering
url http://fundacioniai.org//raccis/v5n1/n8a2.pdf
work_keys_str_mv AT stellahohn reflectingonformalmethods
AT ricardomaldonado reflectingonformalmethods
_version_ 1725686344874721280

Similar Items