Authors:
Victor V. Kuliamin
1
;
Vitaliy A. Omelchenko
1
and
Olga L. Petrenko
2
Affiliations:
1
Institute for System Programming, Russian Academy of Sciences (ISPRAS), Russian Federation
;
2
Moscow Institute of Open Education, Russian Federation
Keyword(s):
Formal methods, Teaching formal methods, Active learning, Cooperative learning, Critical thinking pedagogical framework.
Related
Ontology
Subjects/Areas/Topics:
Collaborative Learning
;
Community Building
;
Computer-Supported Education
;
Context Dependent Learning
;
Social Context and Learning Environments
;
Ubiquitous Learning
Abstract:
The article presents an approach to teaching formal methods that may make them accessible for ordinary software engineers, especially those who are not skilled in the underlying mathematics. The approach is based on two ideas. First, we propose modification of course contents to hide the underlying mathematical techniques under some terms and actions familiar to the engineer or student learning the corresponding application domain. This usually requires availability of mature tools supporting formal methods under consideration. Second, we modify the presentation of course material and focuse mostly on active learning and more deep students' involvement in the learning process. This approach was successfully used in traditional courses and trainings in UniTESK, a test development technology based on formal specifications.