FMBoK

FMBoK is an initiative dedicated to the discussion on a Body of Knowledge↑ (BoK) on formal methods. This is an activity within FME-SoE.

For those not familiar with a body of knowledge, a good starting point is to learn about SWEBOK↑ (Software Engineering Body of Knowledge↑) standardized by IEEE Computer Society↑ and the Association for Computing Machinery↑ (ACM).

Brief history

Kenji Taguchi (National Institute of Advanced Industrial Science and Technology↑ — AIST, Japan↑) and Jose Oliveira (University of Minho↑, Portugal↑) organized a panel at the TFM (Teaching Formal Methods) conference in Eindhoven↑ in 2009 to discuss a BoK for formal methods, and the issues surrounding it. The session was chaired by Mike Hinchey↑ (Lero, University of Limerick↑) and panelists were Jose Oliveira, Kenji Taguchi, Peter Larsen, and Randolf Jonson. Historically, this followed a similar initiative at FMET (Formal Methods Education and Training) workshop held in 2008 in conjunction with ICFEM 2008. The panel discussion was organized, which was chaired by Jeremy Gibbons (University of Oxford↑), and the panelists were Mike Hinchey↑ (Lero, University of Limerick↑), Kenji Taguchi (then NII), and Toshiaki Aoki (JAIST). Prior to that, a survey was carried out by FME-SOE on formal methods courses in undergraduate degrees, and José Nuno Oliveira published a paper on formal methods courses in European higher education at TFM 04.

External links

• Towards Formal Methods Body of Knowledge (FMBOK), Grace Center
• FMBoK on Google Groups↑