Promotion of formal approaches in Japanese software industry and a best practice of FeliCa’s case

Keijiro Araki, Taro Kurita

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

Abstract

We have been making much effort to promote formal methods in Japan, especially Japanese IT companies. This paper describes our activities in Japan for almost twenty years, and shows typical reactions from such Japanese companies for application of formal methods. We mention about the obstacles they think to adopting formal methods in their real software development projects. On the other hand we also present a case of FeliCa Networks, Inc. as a best practice of applying formal methods in Japan. We discuss the lessons learned from our efforts of promoting formal methods and the FeliCa’s case. Finally, we briefly introduce our research project to support software developers in adopting formal approaches to real projects.

Original languageEnglish
Title of host publicationFormal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings
EditorsKazuhiro Ogata, Mark Lawford, Shaoying Liu
PublisherSpringer Verlag
Pages18-25
Number of pages8
ISBN (Print)9783319478456
DOIs
Publication statusPublished - Jan 1 2016
Event18th International Conference on Formal Engineering Methods, ICFEM 2016 - Tokyo, Japan
Duration: Nov 14 2016Nov 18 2016

Publication series

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

Other

Other18th International Conference on Formal Engineering Methods, ICFEM 2016
CountryJapan
CityTokyo
Period11/14/1611/18/16

Fingerprint

Formal methods
Best Practice
Formal Methods
Industry
Software
Japan
Software Development
Software engineering
Promotion

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Araki, K., & Kurita, T. (2016). Promotion of formal approaches in Japanese software industry and a best practice of FeliCa’s case. In K. Ogata, M. Lawford, & S. Liu (Eds.), Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings (pp. 18-25). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10009 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-47846-3_2

Promotion of formal approaches in Japanese software industry and a best practice of FeliCa’s case. / Araki, Keijiro; Kurita, Taro.

Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings. ed. / Kazuhiro Ogata; Mark Lawford; Shaoying Liu. Springer Verlag, 2016. p. 18-25 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10009 LNCS).

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

Araki, K & Kurita, T 2016, Promotion of formal approaches in Japanese software industry and a best practice of FeliCa’s case. in K Ogata, M Lawford & S Liu (eds), Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10009 LNCS, Springer Verlag, pp. 18-25, 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, 11/14/16. https://doi.org/10.1007/978-3-319-47846-3_2
Araki K, Kurita T. Promotion of formal approaches in Japanese software industry and a best practice of FeliCa’s case. In Ogata K, Lawford M, Liu S, editors, Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings. Springer Verlag. 2016. p. 18-25. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-47846-3_2
Araki, Keijiro ; Kurita, Taro. / Promotion of formal approaches in Japanese software industry and a best practice of FeliCa’s case. Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings. editor / Kazuhiro Ogata ; Mark Lawford ; Shaoying Liu. Springer Verlag, 2016. pp. 18-25 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{178ae93932a840b9bd42bbc033eda74b,
title = "Promotion of formal approaches in Japanese software industry and a best practice of FeliCa’s case",
abstract = "We have been making much effort to promote formal methods in Japan, especially Japanese IT companies. This paper describes our activities in Japan for almost twenty years, and shows typical reactions from such Japanese companies for application of formal methods. We mention about the obstacles they think to adopting formal methods in their real software development projects. On the other hand we also present a case of FeliCa Networks, Inc. as a best practice of applying formal methods in Japan. We discuss the lessons learned from our efforts of promoting formal methods and the FeliCa’s case. Finally, we briefly introduce our research project to support software developers in adopting formal approaches to real projects.",
author = "Keijiro Araki and Taro Kurita",
year = "2016",
month = "1",
day = "1",
doi = "10.1007/978-3-319-47846-3_2",
language = "English",
isbn = "9783319478456",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "18--25",
editor = "Kazuhiro Ogata and Mark Lawford and Shaoying Liu",
booktitle = "Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings",
address = "Germany",

}

TY - GEN

T1 - Promotion of formal approaches in Japanese software industry and a best practice of FeliCa’s case

AU - Araki, Keijiro

AU - Kurita, Taro

PY - 2016/1/1

Y1 - 2016/1/1

N2 - We have been making much effort to promote formal methods in Japan, especially Japanese IT companies. This paper describes our activities in Japan for almost twenty years, and shows typical reactions from such Japanese companies for application of formal methods. We mention about the obstacles they think to adopting formal methods in their real software development projects. On the other hand we also present a case of FeliCa Networks, Inc. as a best practice of applying formal methods in Japan. We discuss the lessons learned from our efforts of promoting formal methods and the FeliCa’s case. Finally, we briefly introduce our research project to support software developers in adopting formal approaches to real projects.

AB - We have been making much effort to promote formal methods in Japan, especially Japanese IT companies. This paper describes our activities in Japan for almost twenty years, and shows typical reactions from such Japanese companies for application of formal methods. We mention about the obstacles they think to adopting formal methods in their real software development projects. On the other hand we also present a case of FeliCa Networks, Inc. as a best practice of applying formal methods in Japan. We discuss the lessons learned from our efforts of promoting formal methods and the FeliCa’s case. Finally, we briefly introduce our research project to support software developers in adopting formal approaches to real projects.

UR - http://www.scopus.com/inward/record.url?scp=84995467041&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84995467041&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-47846-3_2

DO - 10.1007/978-3-319-47846-3_2

M3 - Conference contribution

AN - SCOPUS:84995467041

SN - 9783319478456

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 18

EP - 25

BT - Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings

A2 - Ogata, Kazuhiro

A2 - Lawford, Mark

A2 - Liu, Shaoying

PB - Springer Verlag

ER -