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...

Full description

Bibliographic Details
Main Author: Jorge Toledo B.
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