{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:03:52Z","timestamp":1742990632043,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319478456"},{"type":"electronic","value":"9783319478463"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47846-3_2","type":"book-chapter","created":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T02:53:57Z","timestamp":1476413637000},"page":"18-25","source":"Crossref","is-referenced-by-count":0,"title":["Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa\u2019s Case (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"Keijiro","family":"Araki","sequence":"first","affiliation":[]},{"given":"Taro","family":"Kurita","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,15]]},"reference":[{"key":"2_CR1","unstructured":"Araki, K.: Are formal methods relevant?: how to explode the seven myths in Japan. In: Proceedings of the APSEC 1995, pp. 514\u2013515 (1995)"},{"key":"2_CR2","unstructured":"Araki, K., Chang, H.-M.: Formal methods in Japan: current state, problems and challenges. In: Proceedings of the Third VDM Workshop, VDM 2002 (2002)"},{"issue":"4","key":"2_CR3","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/2.375178","volume":"28","author":"JP Bowen","year":"1995","unstructured":"Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods. IEEE Comput. 28(4), 56\u201363 (1995)","journal-title":"IEEE Comput."},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/978-3-642-33170-1_3","volume-title":"Industrial Deployment of System Engineering Methods","author":"R Gmehlich","year":"2013","unstructured":"Gmehlich, R., Jones, C.: Experience of deployment in the automotive industry. In: Romanovsky, A., Thomas, M. (eds.) Industrial Deployment of System Engineering Methods, pp. 13\u201326. Springer, Heidelberg (2013)"},{"issue":"5","key":"2_CR5","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/52.57887","volume":"7","author":"A Hall","year":"1990","unstructured":"Hall, A.: Seven myths of formal methods. IEEE Softw. 7(5), 11\u201319 (1990)","journal-title":"IEEE Softw."},{"key":"2_CR6","unstructured":"IPA\/SEC: Report on Successful Cases of Formal Approaches with Rigorous Specification, WG on Rigorous Specification, IPA\/SEC, Tokyo (2013) (in Japanese). http:\/\/sec.ipa.go.jp\/reports\/20130125.html"},{"issue":"2\u20133","key":"2_CR7","first-page":"343","volume":"3","author":"T Kurita","year":"2009","unstructured":"Kurita, T., Nakatsugawa, Y.: The application of VDM to the industrial development of firmware for a smart card IC chip. Int. J. Softw. Inf. 3(2\u20133), 343\u2013355 (2009)","journal-title":"Int. J. Softw. Inf."},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1007\/978-3-319-19249-9_40","volume-title":"FM 2015: Formal Methods","author":"T Kurita","year":"2015","unstructured":"Kurita, T., Ishikawa, F., Araki, K.: Practices for formal models as documents: evolution of VDM application to \u201cMobile FeliCa\u201d IC chip firmware. In: Bj\u00f8rner, N., Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 593\u2013596. Springer, Heidelberg (2015)"},{"issue":"1","key":"2_CR9","first-page":"48","volume":"4","author":"S Kusakabe","year":"2014","unstructured":"Kusakabe, S., Lin, H.-H., Omori, Y., Araki, K.: Developing core software requirements of energy management system forsmart campus with advanced software engineering. Int. J. New Comput. Archit. Appl. 4(1), 48\u201355 (2014)","journal-title":"Int. J. New Comput. Archit. Appl."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Kusakabe, S., Lin, H.-H., Omori, Y., Araki, K.: Visualizing centrality of process area networks in CMMI-DEV. In: Proceedings of International Conference on Software and Systems Process (ICSSP 2015), pp. 173\u2013174 (2015)","DOI":"10.1145\/2785592.2794405"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Oda, T., Araki, K., Larsen, P.G.: VDMPad: a lightweight IDE for exploratory VDM-SL specification. In: Proceedings of the 2015 IEEE\/ACM 3rd FME Workshop on Formal Methods in Software Engineering, pp. 33\u201339 (2015)","DOI":"10.1109\/FormaliSE.2015.13"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Oda, T., Araki, K., Larsen, P.G.: ViennaTalk and assertch: building lightweight formal methods environments on pharo 4. In: Proceedings of the International Workshop on Smalltalk Technologies (2016, to appear)","DOI":"10.1145\/2991041.2991045"},{"key":"2_CR13","unstructured":"Omori, Y., Araki, K., Larsen, P.G.: JODTool on the Overture Tool to manage formal requirement dictionaries. In: Proceedings of the 13th Overture Workshop, Co-located with FM 2015, pp. 3\u201317 (2015)"},{"key":"2_CR14","unstructured":"VDMPad Server: http:\/\/vdmpad.csce.kyushu-u.ac.jp\/"},{"key":"2_CR15","unstructured":"ViennaTalk: https:\/\/github.com\/tomooda\/ViennaTalk-doc"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47846-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T21:08:01Z","timestamp":1498338481000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47846-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319478456","9783319478463"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47846-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}