论文信息 - Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone

Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone

We have adopted formal specification language in the development of firmware of "Mobile FeliCa" IC chip and have achieved successful results and confirmed its effectiveness.

Taro Kurita | Yasumasa Nakatsugawa | Miki Chiba

[1] Peter Gorm Larsen,et al. Validated Designs for Object-oriented Systems , 2004 .

[2] David S. Rogers. Modelling systems: practical tools and techniques in software development, second edition written by John Fitzgerald and Peter Gorm Larsen and published by Cambridge University Press, 2009, ISBN 978-0-521-89911-6 hardback, 288 pp. , 2010, SOEN.