Login / Signup
Taro Kurita
Publication Activity (10 Years)
Years Active: 2008-2019
Publications (10 Years): 2
Top Topics
Software Industry
Relevant Documents
Invariant Features
Extended Abstract
Top Venues
FM Workshops (1)
FM
ICFEM
</>
Publications
</>
M. Anthony Aiello
,
Johannes Kanig
,
Taro Kurita
Call Me Back, I Have a Type Invariant.
FM Workshops (1)
(2019)
Keijiro Araki
,
Taro Kurita
Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract).
ICFEM
(2016)
Taro Kurita
,
Fuyuki Ishikawa
,
Keijiro Araki
Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware.
FM
(2015)
Taro Kurita
,
Yasumasa Nakatsugawa
The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip.
Int. J. Softw. Informatics
3 (2-3) (2009)
Taro Kurita
,
Miki Chiba
,
Yasumasa Nakatsugawa
Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone.
FM
(2008)