Andreas Bollin, Tiziana Margaria, Isabelle Perseil (Eds.)
First Workshop on Formal Methods in Software Engineering Education and Training (FMSEE&T) Published at CEUR-WS.org ISSN 1613-0073 © 2015 for the individual papers by the papers’ authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners.
Welcome to the first FMSEE&T, the first Workshop on Formal Methods in Software Engineering Education and Training held on June 23, 2015 and co-located with FM 2015 in Oslo, Norway. It is supported by the European Association of Software Science and Technology (EASST) and the FMICS WG Board. Lero and the AlpenAdria Universität Klagenfurt act as organizing institutions.
The overall objectives of the workshop are (a) to find out the status-quo of formal methods education, (b) to come up with a set of recommendations for improving our lectures in respect to motivation and skills, and (c) to establish a forum for future knowledge-exchange.
The keynote given by Maximiliano Cristiá on “Why, How and What Should be Taught about Formal Methods?” focused on the various questions that are related to teaching Formal Methods in academia and industry. He started with the question of how fundamental Formal Methods really are and concluded describing his own approach and lessons learned during the past 15 years of teaching.
Submitted papers were reviewed by three or four experts in the field, leading to the selection of 8 research papers for presentation and inclusion into the program and these proceedings. The accepted papers spanned from interesting approaches, to opinions, case studies, and experiences of education in the field.
The paper “Keys and Roles of Formal Methods Education for Industry: 10 Year Experience from Top SE Program” by Fuyuki Ishikawa, Nobukazu Yoshioka and Yoshinori Tanabe has been elected as the best paper at the workshop and it thus received the Award of the European Association of Software Science and Technology (EASST).
Preparing a workshop like FMSEE&T is a task that requires the help of many hands and bright, inspiring, but also critical heads. We are grateful to all those who contributed – mainly behind the scenes – to the success of the first FMSEE&T event.
Foremost, we are grateful to all the authors who submitted their work, witnessing the state of the art in this domain. Authors and PC members seemingly have contradictory roles, but in reality both groups collaborate to shape the workshop and lead to an appealing program. We thus thank the members of the program committee and the reviewers for their dedication and discussions during the selection phase.
Finally, we are indebted to the local organizers, who ensure the workshop ran as a smooth event.
Program Committee