… formal methods within the computing education community. We define the term formal methods
… collection of materials and links related to formal methods. The new resource is designed …

… to teach a formal methods course as part of a degree in software engineering. Rather than
concentrating on one particular method, … to teach formal methods without a good tool support. …

… ♦ Lack of Tools: Although we would love to expose students to practical tools that support
the use of formal methods, we have not found it cost-effective to introduce many of the existing …

… In this paper we surveyed the current status of teaching formal methods at university and
discovered a lack of effort in encouraging students to learn temporal modeling and specification…

… to teach formal methods to the next generation, and doing so will require us to adapt our
teaching to … The event was organized by FME’s Teaching Committee whose aim is to support …

… our discussions on the issue of teaching formal methods for software engineering. The … tool
support is not necessary for using formal methods in practice. On the contrary, tool support is …

… formal methods are increasingly being used in industry, university curricula are not adapting
at the same pace. Some existing formal methods … to effectively teach formal methods to the …

… A strategy and tool support to motivate the study of formal methods in undergraduate
software design and modeling courses*. International Journal Of Engineering Education, 22(2). …

… Most computer science departments teach technology (which is often of fleeting value in our
… must be an integrated set of techniques that supports a systematic step-by-step process. …

… reasons: most importantly, OFMC supports the Alice and Bob notation as specification
language for security protocol. This allows us to teach formal methods thinking without the need to …