Formal Methods have been developed to provide systematic
and rigorous techniques for software development. They
found their place in document-driven development processes
as well as in the agile world, and modern development environments
make use of or provide ways in writing down
formal models for test case generation and documentation.
However, though part of a lot of informatics curricula,
teaching formal methods and introducing at least one formal
specification language still turns out to be a real challenge.
The overall objectives of the workshop are (a) to
find out the status-quo of formal methods education, (b)
to come up with a set of recommendations for improving
our lectures in respect to motivation and skills, and (c) to
establish a forum for future knowledge-exchange.
We invite researchers as well as lecturers and people from industry,
so FMSEET'15 intends to build a network of people interested in maximizing
the outcome of our endeavor in raising the quality of FM-education,
be it via new methods of teaching, curricula development or via research projects
of any kind.
Paper Submissions: As we had numeral requests, the deadline for submitting papers has been moved
to April 7th, 2015 (AoE).
The paper Keys and Roles of Formal Methods Education for Industry: 10 Year
Experience from Top SE Program by Fuyuki Ishikawa, Nobukazu Yoshioka and
Yoshinori Tanabe has been elected as the best paper at the workshop and it thus received
the Award of the European Association of Software Science and Technology (EASST)