{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:30:29Z","timestamp":1729657829150,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/wsc.2013.6721513","type":"proceedings-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T17:35:58Z","timestamp":1391189758000},"page":"1257-1268","source":"Crossref","is-referenced-by-count":3,"title":["The need for usable formal methods in verification and validation"],"prefix":"10.1109","author":[{"given":"Ross Gore Saikou","family":"Diallo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390632"},{"key":"35","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-88643-3_7","article-title":"WEBDSL: A case study in domain-specific language engineering","volume":"2","author":"visser","year":"2008","journal-title":"Generative and Transformational Techniques in Software Engineering"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2009.5429312"},{"key":"33","article-title":"Asystemviewofc-bml","author":"tolk","year":"2007","journal-title":"SISO 2007 Fall Simulation Interoperability Workshop"},{"key":"15","volume":"66","author":"jones","year":"1986","journal-title":"Systematic Software Development Using VDM"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1057\/jos.2013.3"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1997.597154"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"journal-title":"Software Abstractions Logic Language and Analysis","year":"2006","author":"jackson","key":"14"},{"key":"11","article-title":"Infinite automata and formal verification","volume":"2","author":"harbola","year":"2012","journal-title":"International Journal"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/41840.41852"},{"key":"20","first-page":"286","volume":"30","author":"liu","year":"2005","journal-title":"SOBER Statistical Model-based Bug Localization"},{"journal-title":"A Calculus of Communicating Systems","year":"1982","author":"milner","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1122012.1122013"},{"key":"24","first-page":"327","article-title":"Ideas about simulation conceptual model development","volume":"21","author":"pace","year":"2000","journal-title":"Johns Hopkins APL Technical Digest"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/259207.259375"},{"journal-title":"Simulation The Practice of Model Development and Use","year":"2004","author":"robinson","key":"26"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2006.323160"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2005.1574246"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2005.1574279"},{"key":"3","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1049\/sej.1993.0025","article-title":"safety-critical systems, formal methods and standards","volume":"8","author":"bowen","year":"1993","journal-title":"Software Engineering Journal"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/229493.229511"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/379525.379526"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0504-8"},{"key":"30","volume":"3","author":"spivey","year":"1988","journal-title":"Understanding Z A Specification Language and Its Formal Semantics"},{"key":"6","first-page":"153","article-title":"A system for automatic model verification and validation","volume":"6","author":"findler","year":"1990","journal-title":"Transactions of the Society for Computer Simulation International"},{"key":"32","article-title":"Merging protocols, grammar, representation, and ontological approaches in support of C-BML","author":"tolk","year":"2006","journal-title":"Simulation Interoperability Workshops 2006"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2005.1574360"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/290274.290303"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/142621.142641"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100107"},{"journal-title":"CBML-To-Alloy Translation Algorithms","year":"2013","author":"gore","key":"8"}],"event":{"name":"2013 Winter Simulation Conference - (WSC 2013)","start":{"date-parts":[[2013,12,8]]},"location":"Washington, DC, USA","end":{"date-parts":[[2013,12,11]]}},"container-title":["2013 Winter Simulations Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6709837\/6721384\/06721513.pdf?arnumber=6721513","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T03:04:17Z","timestamp":1498100657000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6721513\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/wsc.2013.6721513","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}