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: | 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 |
Similar Items
-
Application of Formal Methods in Software Engineering
by: Adriana Morales, et al.
Published: (2011-12-01) -
The importance of training in formal methods in Software Engineering
by: John Polansky, et al.
Published: (2014-12-01) -
Formalizing software development: The case of critical missions
by: Guohj Kai, et al.
Published: (2016-12-01) -
Incremental Validation of Formal Specifications
by: Corwin, Paul S
Published: (2009) -
Integrating Formal Methods for Security in Software Security Education
by: Paolo MODESTI
Published: (2020-09-01)