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 |
id |
doaj-7123541443a9449e830c3cf0aae1e72b |
---|---|
record_format |
Article |
spelling |
doaj-7123541443a9449e830c3cf0aae1e72b2020-11-24T23:05:02ZspaInstituto Antioqueño de Investigación (IAI)Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS)2248-74412248-74412013-07-01312532Introduction of the Formal Methods in Software Engineering TrainingJorge Toledo B.0Instituto Europeo de Investigación en Ingeniería de SoftwareFormal 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 techniques in order to improve the processes of the IS. It also provides an analysis of the principles that should be taken into account in a curriculum to systematically introduce in university education and business. Several methods have been tried in recent years to achieve this goal in undergraduate and graduate universities programs, as well as IT professionals. Experience shows that participants gain confidence in formal methods only when they learn their clear benefits in the context of software engineering.http://fundacioniai.org/raccis/v3n1/n4a3.pdfFormal MethodstrainingSoftware Engineeringteaching methods |
collection |
DOAJ |
language |
Spanish |
format |
Article |
sources |
DOAJ |
author |
Jorge Toledo B. |
spellingShingle |
Jorge Toledo B. Introduction of the Formal Methods in Software Engineering Training Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS) Formal Methods training Software Engineering teaching methods |
author_facet |
Jorge Toledo B. |
author_sort |
Jorge Toledo B. |
title |
Introduction of the Formal Methods in Software Engineering Training |
title_short |
Introduction of the Formal Methods in Software Engineering Training |
title_full |
Introduction of the Formal Methods in Software Engineering Training |
title_fullStr |
Introduction of the Formal Methods in Software Engineering Training |
title_full_unstemmed |
Introduction of the Formal Methods in Software Engineering Training |
title_sort |
introduction of the formal methods in software engineering training |
publisher |
Instituto Antioqueño de Investigación (IAI) |
series |
Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS) |
issn |
2248-7441 2248-7441 |
publishDate |
2013-07-01 |
description |
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 techniques in order to improve the processes of the IS. It also provides an analysis of the principles that should be taken into account in a curriculum to systematically introduce in university education and business. Several methods have been tried in recent years to achieve this goal in undergraduate and graduate universities programs, as well as IT professionals. Experience shows that participants gain confidence in formal methods only when they learn their clear benefits in the context of software engineering. |
topic |
Formal Methods training Software Engineering teaching methods |
url |
http://fundacioniai.org/raccis/v3n1/n4a3.pdf |
work_keys_str_mv |
AT jorgetoledob introductionoftheformalmethodsinsoftwareengineeringtraining |
_version_ |
1725627830278029312 |