Stages in Teaching Formal Methods

摘要

This paper describes how a staged approach to the development of students’ abilities to engineer software systems applies to the specific issue of teaching formal methods. It reviews the scope of formal methods and the coverage of them in the Software Engineering volume of Computing Curriculum 2001, and then evaluates this coverage against a theoretical model for the stages through which students develop their practical skills at engineering software systems. In particular, the paper discusses the role of formal methods within the process of developing software systems, and shows that both practically and pedagogically it is important that students use at least some elements of formal methods in their earliest attempts at developing systems. From this it is shown that these basic elements of the methods need to be taught earlier than is currently recommended.