{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T18:23:25Z","timestamp":1648837405595},"reference-count":17,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2017]]},"DOI":"10.1587\/transinf.2016fop0003","type":"journal-article","created":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T22:23:58Z","timestamp":1496269438000},"page":"1210-1217","source":"Crossref","is-referenced-by-count":2,"title":["A Formal Modeling Tool for Exploratory Modeling in Software Development"],"prefix":"10.1587","volume":"E100.D","author":[{"given":"Tomohiro","family":"ODA","sequence":"first","affiliation":[{"name":"Key Technology Laboratory, Software Research Associates, Inc."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keijiro","family":"ARAKI","sequence":"additional","affiliation":[{"name":"Department of Advanced Information Technology, Kyushu University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"GORM LARSEN","sequence":"additional","affiliation":[{"name":"Department of Engineering, Aarhus University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] J. Fitzgerald, P.G. Larsen, and S. Sahara, \u201cVDMTools: Advances in Support for Formal Modeling in VDM,\u201d ACM Sigplan Notices, vol.43, no.2, pp.3-11, Feb. 2008.","DOI":"10.1145\/1361213.1361214"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] S. Agerholm and P.G. Larsen, \u201cA Lightweight Approach to Formal Methods,\u201d Proc. International Workshop on Current Trends in Applied Formal Methods, pp.168-183, Boppard, Germany, Oct. 1998.","DOI":"10.1007\/3-540-48257-1_10"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] J. Woodcock, P.G. Larsen, J. Bicarregui, and J. Fitzgerald, \u201cFormal Methods: Practice and Experience,\u201d ACM Comput. Surv., vol.41, no.4, pp.1-36, Oct. 2009.","DOI":"10.1145\/1592434.1592436"},{"key":"4","unstructured":"[4] T. Kurita and Y. Nakatsugawa, \u201cThe Application of VDM++ to the Development of Firmware for a Smart Card IC Chip,\u201d Intl. J. Software and Informatics, vol.3, no.2-3, pp.343-355, Oct. 2009."},{"key":"5","unstructured":"[5] J. Fitzgerald and P.G. Larsen, Modelling Systems-Practical Tools and Techniques in Software Development, Cambridge University Press, The Edinburgh Building, Cambridge CB2 2RU, UK, 1998. ISBN 0-521-62348-0."},{"key":"6","unstructured":"[6] P.G. Larsen, B.S. Hansen, et al., \u201cInformation technology-Programming languages, their environments and system software interfaces-Vienna Development Method-Specification Language-Part 1: Base language,\u201d Dec. 1996. International Standard ISO\/IEC 13817-1."},{"key":"7","unstructured":"[7] P.G. Larsen, \u201cTen Years of Historical Development: \u201cBootstrapping\u201d VDMTools,\u201d J. Universal Computer Science, vol.7, no.8, pp.692-709, 2001."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] P.G. Larsen, N. Battle, M. Ferreira, J. Fitzgerald, K. Lausdahl, and M. Verhoef, \u201cThe Overture Initiative-Integrating Tools for VDM,\u201d SIGSOFT Softw. Eng. Notes, vol.35, no.1, pp.1-6, Jan. 2010.","DOI":"10.1145\/1668862.1668864"},{"key":"9","unstructured":"[9] T. Oda, Y. Yamomoto, K. Nakakoji, K. Araki, and P.G. Larsen, \u201cVDM Animation for a Wider Range of Stakeholders,\u201d Proc. 13th Overture Workshop, ed. F. Ishikawa and P.G. Larsen, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-Ku, Tokyo, Japan, pp.18-32, Center for Global Research in Advanced Software Science and Engineering, June 2015. GRACE-TR-2015-06."},{"key":"10","unstructured":"[10] T. Oda and K. Araki, \u201cOverview of VDMPad: An Interactive Tool for Formal Specification with VDM,\u201d International Conference on Advanced Software Engineering and Information Systems (ICASEIS) 2013, Nov. 2013."},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] T. Oda, K. Araki, and P.G. Larsen, \u201cVDMPad: A Lightweight IDE for Exploratory VDM-SL Specification,\u201d FormaliSE 2015, ed. N. Plat and S. Gnesi, Florence, pp.33-39, In connection with ICSE 2015, May 2015.","DOI":"10.1109\/FormaliSE.2015.13"},{"key":"12","unstructured":"[12] K. Lausdahl, P.G. Larsen, and N. Battle, \u201cA Deterministic Interpreter Simulating A Distributed real time system using VDM,\u201d Proceedings of the 13th international conference on Formal methods and software engineering, ed. S. Qin and Z. Qiu, Lecture Notes in Computer Science, vol.6991, Berlin, Heidelberg, pp.179-194, Springer-Verlag, Oct. 2011. ISBN 978-3-642-24558-9."},{"key":"13","unstructured":"[13] A. Black, S. Ducasse, O. Nierstrasz, D. Pollet, D. Cassou, and M. Denker, Pharo by Example, Square Bracket Associates, Kehrsatz, Switzerland, 2009."},{"key":"14","unstructured":"[14] P.G. Larsen, K. Lausdahl, P. J\u00f8rgensen, J. Coleman, S. Wolff, and N. Battle, \u201cOverture VDM-10 Tool Support: User Guide,\u201d Tech. Rep. TR-2010-02, The Overture Initiative, www.overturetool.org, April 2013."},{"key":"15","unstructured":"[15] P. Oladimeji, P. Masci, P. Curzon, and H. Thimbleby, \u201cPVSio-web: A tool for rapid prototyping device user interfaces in PVS,\u201d5th International Workshop on Formal Methods for Interactive Systems, FMIS2013, London, UK, June 2013."},{"key":"16","unstructured":"[16] P. Masci, L.D. Couto, P.G. Larsen, and P. Curzon, \u201cIntegrating the PVSio-web modelling and prototyping environment with Overture,\u201d Proc. 13th Overture Workshop, ed. F. Ishikawa and P.G. Larsen, pp.33-47, Center for Global Research in Advanced Software Science and Engineering, June 2015. GRACE-TR-2015-06."},{"key":"17","unstructured":"[17] R.S. Reimer and K.D. Saaby, An Open-Source Web IDE for VDM-SL, Master's thesis, Department of Engineering, Aarhus University, Denmark, May 2016."}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E100.D\/6\/E100.D_2016FOP0003\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T10:02:48Z","timestamp":1569405768000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E100.D\/6\/E100.D_2016FOP0003\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":17,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2016fop0003","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}