{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T04:42:14Z","timestamp":1780116134264,"version":"3.54.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/re.2014.6912279","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T16:37:18Z","timestamp":1412095038000},"page":"325-326","source":"Crossref","is-referenced-by-count":12,"title":["VARED: Verification and analysis of requirements and early designs"],"prefix":"10.1109","author":[{"given":"Julia","family":"Badger","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Throop","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Charles","family":"Claunch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2010.110"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2005.1571714"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227119"},{"key":"1","article-title":"Software quality engineering course guide","author":"peercy","year":"1995","journal-title":"SEMATECH"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2071368.2071369"},{"key":"6","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/978-3-642-21437-0_31","article-title":"A multi-encoding approach for LTL symbolic satisfiability checking","author":"rozier","year":"2011","journal-title":"FM 2011: Formal Methods"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"4","first-page":"757","volume":"4260","author":"bauer","year":"2006","journal-title":"SALT Structured Assertion Language for Temporal Logic"},{"key":"9","article-title":"NL-OOPS: A requirements analysis tool based on natural language processing","author":"mich","year":"2002","journal-title":"Proceedings of Third International Conference on Data Mining Methods and Databases for Engineering"},{"key":"8","author":"braman","year":"2009","journal-title":"Safety Verification and Failure Analysis of Goalbased Hybrid Control Systems"}],"event":{"name":"2014 IEEE 22nd International Requirements Engineering Conference (RE)","location":"Karlskrona, Sweden","start":{"date-parts":[[2014,8,25]]},"end":{"date-parts":[[2014,8,29]]}},"container-title":["2014 IEEE 22nd International Requirements Engineering Conference (RE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6903646\/6912234\/06912279.pdf?arnumber=6912279","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T17:31:37Z","timestamp":1498152697000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6912279\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/re.2014.6912279","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}