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

Keijiro Araki; Taro Kurita

doi:10.1007/978-3-319-47846-3_2

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

Keijiro Araki, Taro Kurita

Advanced Software Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings
Editors	Kazuhiro Ogata, Mark Lawford, Shaoying Liu
Publisher	Springer Verlag
Pages	18-25
Number of pages	8
ISBN (Print)	9783319478456
DOIs	https://doi.org/10.1007/978-3-319-47846-3_2
Publication status	Published - 2016
Event	18th International Conference on Formal Engineering Methods, ICFEM 2016 - Tokyo, Japan Duration: Nov 14 2016 → Nov 18 2016

Publication series

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

Other

Other	18th International Conference on Formal Engineering Methods, ICFEM 2016
Country/Territory	Japan
City	Tokyo
Period	11/14/16 → 11/18/16

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Computer Science(all)

Access to Document

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

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 proceeding › Conference 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)). doi: 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{\textquoteright}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{\textquoteright}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",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; 18th International Conference on Formal Engineering Methods, ICFEM 2016 ; Conference date: 14-11-2016 Through 18-11-2016",

year = "2016",

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

N1 - Publisher Copyright: © Springer International Publishing AG 2016.

PY - 2016

Y1 - 2016

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

T2 - 18th International Conference on Formal Engineering Methods, ICFEM 2016

Y2 - 14 November 2016 through 18 November 2016

ER -

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

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this