Keys and roles of formal methods education for industry: 10 year experience with Top SE program

Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe

Research output: Contribution to journalConference articlepeer-review

4 Citations (Scopus)


Formal methods play essential roles in education and training of software engineering. Besides the fact that formal methods themselves can be direct solutions to problems in development, many insights into modelling, specification, verification and validation can be provided. On the other hand, difficulties lie in delivering these direct or indirect values to the industry. This paper reports and discusses our experience with formal methods education in the Top SE program. This program has been provided for industry engineers to learn advanced software engineering. The program contains over 10 lectures on formal methods, from theoretical foundations to practice including non-technical aspects. The program also allows the engineers to spend 3 or 6 month tackling their own problems with supervisors. Our experience in the program illustrates key factors and roles of formal methods education.

Original languageEnglish
Pages (from-to)35-42
Number of pages8
JournalCEUR Workshop Proceedings
Issue numberJanuary
Publication statusPublished - 2015
Externally publishedYes
Event1st Workshop on Formal Methods in Software Engineering Education and Training, FMSEE and T 2015 - co-located with the 20th International Symposium on Formal Methods, FM 2015 - Oslo, Norway
Duration: 2015 Jun 23 → …

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'Keys and roles of formal methods education for industry: 10 year experience with Top SE program'. Together they form a unique fingerprint.

Cite this