Introduction of the Formal Methods in Software Engineering Training
Formal methods were developed to provide systematic and rigorous techniques for software development, and as initiative will be introduced in training in Software Engineering (SE). This article discusses the importance of including these scientific principles and describes several specific technique...
Main Author: | |
---|---|
Format: | Article |
Language: | Spanish |
Published: |
Instituto Antioqueño de Investigación (IAI)
2013-07-01
|
Series: | Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS) |
Subjects: | |
Online Access: | http://fundacioniai.org/raccis/v3n1/n4a3.pdf |