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...
| Main Authors: | , |
|---|---|
| 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: | |
| Online Access: | http://fundacioniai.org//raccis/v5n1/n8a2.pdf |
| Summary: | 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. |
|---|---|
| ISSN: | 2248-7441 |