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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Andreas Bollin, Tiziana Margaria, Isabelle Perseil, editors, 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. Volume 1385 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]

Conference: FM2015

Abstract is missing.

Why, how and what should be taught about Formal Methods?Maximiliano Cristiá. 1-2 [doi]

Helping Programmers to Adopt Set-Based SpecificationsMaximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman. 3-10 [doi]

The Role of Modelling in Teaching Formal Methods for Software EngineeringAnthony J. Cowling. 11-18 [doi]

Foundations of Semantics and Model Checking in a Software Engineering CourseHenning Bordihn, Anna-Lena Lamprecht, Tiziana Margaria. 19-26 [doi]

Making Formal Methods Popular: The Crux is Math Education!Franz Lichtenberger. 27-34 [doi]

Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE ProgramFuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe. 35-42 [doi]

Separation of Considerations in Event-B Refinement toward Industrial UseNaoto Sato, Fuyuki Ishikawa. 43-50 [doi]

Well-defined Software Process as Vehicle to Understand Effectiveness of Formal MethodsShigeru Kusakabe, Yoichi Omori, Keijiro Araki. 51-58 [doi]

Evaluation of Formal Reasoning Abilities Using a Concept InventoryJoseph E. Hollingsworth, Murali Sitaraman. 59-66 [doi]

runs on WebDSL