FMSEE&T@FM

Keyphrases

Publications

2015

Maximiliano Cristiá
Why, how and what should be taught about Formal Methods? FMSEE&T@FM (2015)
Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe
Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program. FMSEE&T@FM (2015)
Anthony J. Cowling
The Role of Modelling in Teaching Formal Methods for Software Engineering. FMSEE&T@FM (2015)
Joseph E. Hollingsworth, Murali Sitaraman
Evaluation of Formal Reasoning Abilities Using a Concept Inventory. FMSEE&T@FM (2015)
Franz Lichtenberger
Making Formal Methods Popular: The Crux is Math Education! FMSEE&T@FM (2015)
Henning Bordihn, Anna-Lena Lamprecht, Tiziana Margaria
Foundations of Semantics and Model Checking in a Software Engineering Course. FMSEE&T@FM (2015)
Shigeru Kusakabe, Yoichi Omori, Keijiro Araki
Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods. FMSEE&T@FM (2015)
Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
Helping Programmers to Adopt Set-Based Specifications. FMSEE&T@FM (2015)
Naoto Sato, Fuyuki Ishikawa
Separation of Considerations in Event-B Refinement toward Industrial Use. FMSEE&T@FM (2015)

volume 1385, 2015

Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015. FMSEE&T@FM 1385 (2015)