Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

1. FMSEE&T@FM 2015: Oslo, Norway

> Home > Conferences and Workshops > FM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/fm/2015fmseet
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/2015fmseet
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

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fm/Cristia15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Cristia15
Maximiliano Cristiá:
Why, how and what should be taught about Formal Methods? 1-2

Accepted Papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fm/CristiaRF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/CristiaRF15
Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman:
Helping Programmers to Adopt Set-Based Specifications. 3-10
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fm/Cowling15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Cowling15
Anthony J. Cowling:
The Role of Modelling in Teaching Formal Methods for Software Engineering. 11-18
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fm/BordihnLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BordihnLM15
Henning Bordihn, Anna-Lena Lamprecht, Tiziana Margaria:
Foundations of Semantics and Model Checking in a Software Engineering Course. 19-26
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fm/Lichtenberger15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Lichtenberger15
Franz Lichtenberger:
Making Formal Methods Popular: The Crux is Math Education! 27-34
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fm/IshikawaYT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/IshikawaYT15
Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe:
Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program. 35-42
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fm/SatoI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SatoI15
Naoto Sato, Fuyuki Ishikawa:
Separation of Considerations in Event-B Refinement toward Industrial Use. 43-50
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fm/KusakabeOA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KusakabeOA15
Shigeru Kusakabe, Yoichi Omori, Keijiro Araki:
Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods. 51-58
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fm/HollingsworthS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HollingsworthS15
Joseph E. Hollingsworth, Murali Sitaraman:
Evaluation of Formal Reasoning Abilities Using a Concept Inventory. 59-66

a service of

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.