default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. FMSEE&T@FM 2015: Oslo, Norway
- Andreas Bollin, Tiziana Margaria, Isabelle Perseil:
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. CEUR Workshop Proceedings 1385, CEUR-WS.org 2015
Keynote
- Maximiliano Cristiá:
Why, how and what should be taught about Formal Methods? 1-2
Accepted Papers
- Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman:
Helping Programmers to Adopt Set-Based Specifications. 3-10 - Anthony J. Cowling:
The Role of Modelling in Teaching Formal Methods for Software Engineering. 11-18 - Henning Bordihn, Anna-Lena Lamprecht, Tiziana Margaria:
Foundations of Semantics and Model Checking in a Software Engineering Course. 19-26 - Franz Lichtenberger:
Making Formal Methods Popular: The Crux is Math Education! 27-34 - Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe:
Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program. 35-42 - Naoto Sato, Fuyuki Ishikawa:
Separation of Considerations in Event-B Refinement toward Industrial Use. 43-50 - Shigeru Kusakabe, Yoichi Omori, Keijiro Araki:
Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods. 51-58 - Joseph E. Hollingsworth, Murali Sitaraman:
Evaluation of Formal Reasoning Abilities Using a Concept Inventory. 59-66
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
