Current level of formal specification development
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 dissem...
| Main Authors: | , |
|---|---|
| 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: | |
| Online Access: | http://www.fundacioniai.org//raccis/v7n2/n13a4.pdf |