TY - GEN
T1 - Practices for formal models as documents
T2 - 20th International Symposium on Formal Methods, FM 2015
AU - Kurita, Taro
AU - Ishikawa, Fuyuki
AU - Araki, Keijiro
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2015.
PY - 2015
Y1 - 2015
N2 - This paper reports on the application of VDM to the development of the third generation of firmware for the Mobile FeliCa IC chip. The practices of VDM were improved by incorporating the experience gained in the previous development. The primary focus was maintainability and understandability, as the VDM specification was used as the sole reference document for various development activities. The resulting improvements eliminated deficiencies caused by misunderstandings, while keeping costs similar to before.
AB - This paper reports on the application of VDM to the development of the third generation of firmware for the Mobile FeliCa IC chip. The practices of VDM were improved by incorporating the experience gained in the previous development. The primary focus was maintainability and understandability, as the VDM specification was used as the sole reference document for various development activities. The resulting improvements eliminated deficiencies caused by misunderstandings, while keeping costs similar to before.
UR - http://www.scopus.com/inward/record.url?scp=84937510474&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84937510474&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-19249-9_40
DO - 10.1007/978-3-319-19249-9_40
M3 - Conference contribution
AN - SCOPUS:84937510474
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 593
EP - 596
BT - FM 2015
A2 - Bjorner, Nikolaj
A2 - de Boer, Frank
PB - Springer Verlag
Y2 - 24 June 2015 through 26 June 2015
ER -