| Vol-1385 urn:nbn:de:0074-1385-5 Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# FMSEE&T 2015
Formal Methods in Software Engineering Education and Training

### Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training (FMSEE&T '15)
co-located with 20th International Symposium on Formal Methods (FM 2015)

### Oslo, Norway, June 23, 2015.

Edited by

### Andreas Bollin *
Tiziana Margaria **
Isabelle Perseil ***

* University of Klagenfurt, Software Engineering Research Group, Universtätsstrasse 65-67, 9020 Klagenfurt, Austria
** Lero - the Irish Software Research Center, University of Limerick, Tierney Building, Limerick, Ireland
*** INSERM - Institut National de la Santé et de la Recherche Médicale, Computational Science Coordination, 13 rue Watt, 75013 Paris, France

## Table of Contents

- Preface

### Keynote

- Why, How and What Should be Taught about Formal Methods? 1-2
  Maximiliano Cristiá

### Accepted Papers

- Helping Programmers to Adopt Set-Based Specifications 3-10
  Maximiliano Cristiá, Gianfranco Rossi, Claudia Frydman
- The Role of Modelling in Teaching Formal Methods for Software Engineering 11-18
  Anthony J. Cowling
- Foundations of Semantics and Model Checking in a Software Engineering Course 19-26
  Henning Bordihn, Anna-Lena Lamprecht, Tiziana Margaria
- Making Formal Methods Popular: The Crux is Math Education! 27-34
  Franz Lichtenberger
- Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program 35-42
  Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe
- Separation of Considerations in Event-B Refinement toward Industrial Use 43-50
  Naoto Sato, Fuyuki Ishikawa
- Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods 51-58
  Shigeru Kusakabe, Yoichi Omori, Keijiro Araki
- Evaluation of Formal Reasoning Abilities Using a Concept Inventory 59-66
  Joseph E. Hollingsworth, Murali Sitaraman

2015-06-18: submitted by Andreas Bollin, metadata incl. bibliographic data published under Creative Commons CC0
2015-06-19: published on CEUR-WS.org |valid HTML5|