What top-level software engineers tackle after learning formal methods: Experiences from the top SE project

Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

In order to make practical use of formal methods, it is not sufficient for engineers to obtain general, fundamental knowledge of the methods and tools. Actually, it is also necessary for them to carefully consider their own contexts and determine adequate approaches to their own problems. Specifically, engineers need to choose adequate methods and tools, determine their usage strategies, and even customize or extend them for their effective and efficient use. Regarding the point, this paper reports and discusses experiences on education of formal methods in the Top SE program targeting software engineers in the industry. The program involves education of a variety of scientific methods and tools with group exercises on practical problems, allowing students to compare different approaches while understanding common principles. In addition, the program involves graduation studies where each student identifies and tackles their own problems. Statistics on problem settings in the graduation studies provide interesting insights into what top-level engineers tackles after learning formal methods.

Original languageEnglish
Title of host publicationTeaching Formal Methods - Second International Conference, TFM 2009, Proceedings
Pages57-71
Number of pages15
DOIs
Publication statusPublished - 2009 Dec 14
Externally publishedYes
Event2nd International FME Conference on Teaching Formal Methods, TFM 2009 - Eindhoven, Netherlands
Duration: 2009 Nov 22009 Nov 6

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5846 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other2nd International FME Conference on Teaching Formal Methods, TFM 2009
CountryNetherlands
CityEindhoven
Period09/11/209/11/6

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'What top-level software engineers tackle after learning formal methods: Experiences from the top SE project'. Together they form a unique fingerprint.

  • Cite this

    Ishikawa, F., Taguchi, K., Yoshioka, N., & Honiden, S. (2009). What top-level software engineers tackle after learning formal methods: Experiences from the top SE project. In Teaching Formal Methods - Second International Conference, TFM 2009, Proceedings (pp. 57-71). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5846 LNCS). https://doi.org/10.1007/978-3-642-04912-5_5