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.
|Number of pages||8|
|Journal||CEUR Workshop Proceedings|
|Publication status||Published - 2015|
|Event||1st 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
- Computer Science(all)