Институт системного программирования им. В.П. Иванникова РАН

Active Learning Facilitates Success of Formal Methods in Practice. Formal Methods: Challenges in the business world.


V.V.Kuliamin, V.A.Omelchenko, O.L.Petrenko.


Software development does not consist only of technical activities, as it usually regarded. It also involves social and cognitive activities that are particularly important in complex projects. To make a software development project successful the staff involved should possess the necessary social and cognitive skills. The significance of such skills increases if some novel, advanced techniques, including formal methods, are used in the project. So, if we wish to leverage successful applications
of formal methods, we need to train engineers and students not only in the techniques, but also in the social skills required to apply those techniques in real practice. Active learning methods seem to be very suitable for formal methods education, since they help to provide students with both kinds of necessary skills – the technical ones due to the content and the social and cognitive ones due to the form of the learning process.

Полный текст статьи в формате pdf (на английском)

Ключевые слова

formal methods, teaching formal methods, active learning, cooperative learning, critical thinking pedagogical framework.


Proc. of 2-nd SEEFM, Ohrid, Macedonia, 18-19 Nov 2005, pp.132-141, SEERC, 2005.

Научная группа

Технологии программирования

Все публикации за 2005 год Все публикации