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 |