おサイフケータイ

July 2004 – September 2004

I majored information engineering, especially software engineering that manages how to realize better software development process. My specialty was “Formal methods” that requires strict accuracy of specification so it can get rid of many misunderstandings, communication problems and errors in early phase.

FeliCa was expanding their market and they wanted to produce high quality products for customers’ satisfaction. They thought “Formal methods” are very effective way for their process so they suggested cooperation to our research lab. The technology was applied to many of major RFID cards such as Suica in Japan and Octopus in Hong Kong etc.

I was working for FeliCa as an intern, and described specifications by formal languages to avoid ambiguousness of natural language. FeliCa could cut costs of development and improve product’s quality by this effort.