Teaching formal methods

Más información sobre el libro

This volume presents the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) association. Held in Eindhoven, The Netherlands, in November 2009 as part of the inaugural Formal Methods Week (FMWeek), TFM2009 served as a one-day forum to discuss the successes and challenges of formal method (FM) education while promoting collaborative projects to enhance training in this field. The event brought together lecturers, educators, and industry partners to share experiences, pedagogical methodologies, and best practices. Interest in FM teaching has been on the rise, following a series of related events, including two BCS-FACS TFM workshops in 2003 and 2006, the TFM2004 conference in Ghent, and several other workshops and conferences focused on FM education. Formal methods play a critical role in the development of complex computing systems, as recognized by industrial standards like IEC61508 and ISO/IEC15408. The increasing adoption of precise modeling notations and model-driven techniques highlights the growing demand for software engineers skilled in mathematical abstractions, inference, and proof.