Structure of the paper

The remainder of this paper is structured as follows. In the next section we mention some related work in the area of formal method education. Section presents the FME-SoE strategy and the structure of a provisional FM body of knowledge which underlies data classification in the survey. In section we proceed to a brief analysis of our data sample. The main body of the paper ends with an evaluation of the work carried out so far, which leads to plans for future work.

The remainder of the paper consists of four annexes, three listing the data which underlies the three projections discussed in section and a glossary of acronyms or keywords used in the contents classification of each course or module.