{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:49:30Z","timestamp":1725504570909},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/icitcs.2015.7292971","type":"proceedings-article","created":{"date-parts":[[2015,10,8]],"date-time":"2015-10-08T21:57:27Z","timestamp":1444341447000},"page":"1-5","source":"Crossref","is-referenced-by-count":1,"title":["Developing a Web Dictionary System Using the SOFL Three-Step Specification Approach"],"prefix":"10.1109","author":[{"given":"Fumiko","family":"Nagoya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoying","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyousuke","family":"Hamada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"journal-title":"Software Abstractions Logic Language and Analysis","year":"2006","author":"jackson","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0114-3"},{"key":"ref13","first-page":"118","article-title":"SOFL specification animation with tool support","author":"li","year":"2013","journal-title":"Structured Object-Oriented Formal Language and Method - Third International Workshop SOFL+MSVL 2013 Queenstown New Zealand October 29 2013 Revised Selected Papers Lecture Notes in Computer Science 8332"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"ref3","article-title":"Structured Analysis and System Specification","author":"demarco","year":"1979","journal-title":"Upper Saddle River"},{"year":"0","key":"ref6","article-title":"Japanese wordnet"},{"year":"0","key":"ref5","article-title":"Dezizo web dicitonary service api"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0024651"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2010.11"},{"journal-title":"Systematic Software Development Using VDM","year":"1986","author":"jones","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07287-5"},{"journal-title":"The Object Constraint Language Precise Modeling with UML","year":"1999","author":"warmer","key":"ref9"}],"event":{"name":"2015 5th International Conference on IT Convergence and Security (ICITCS)","start":{"date-parts":[[2015,8,24]]},"location":"Kuala Lumpur, Malaysia","end":{"date-parts":[[2015,8,27]]}},"container-title":["2015 5th International Conference on IT Convergence and Security (ICITCS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7287494\/7292885\/07292971.pdf?arnumber=7292971","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T22:41:19Z","timestamp":1490395279000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7292971\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/icitcs.2015.7292971","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}