Ivannikov Institute for System Programming of the RAS

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.

Full text of the paper in 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.

Research Group

Software Engineering

All publications during 2005 All publications