CEUR-WS.org/Vol-1385 - Formal Methods in Software Engineering Education and Training - FMSEE&T 2015
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