{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T10:44:28Z","timestamp":1730285068461,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/newcas.2014.6934001","type":"proceedings-article","created":{"date-parts":[[2014,11,1]],"date-time":"2014-11-01T00:44:26Z","timestamp":1414802666000},"page":"133-136","source":"Crossref","is-referenced-by-count":0,"title":["A reference-based specification tool for creating reliable library development specifications"],"prefix":"10.1109","author":[{"given":"Jung Kyu","family":"Chae","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Mougeat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Arnaud","family":"Francois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roselyne","family":"Chotin-Avot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Habib","family":"Mehrez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","first-page":"566","article-title":"Development of TSMC 0. 25m standard cell library","author":"djigbenou","year":"2007","journal-title":"IEEE Southeastcon"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2004.1283647"},{"journal-title":"The Unified Modeling Language Reference","year":"2004","author":"rumbaugh","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1119772.1119877"},{"year":"2010","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2008.4641453"},{"key":"5","first-page":"19","article-title":"Tools for constructing requirements specifications: The SCR toolset at the age of ten","volume":"20","author":"heitmeyer","year":"2005","journal-title":"International Journal of Computer Systems Science and Engineering"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI.2008.14"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/SOCC.2013.6749706"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2012.2215302"},{"year":"0","key":"11"},{"year":"0","key":"12"}],"event":{"name":"2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS)","start":{"date-parts":[[2014,6,22]]},"location":"Trois-Rivieres, QC, Canada","end":{"date-parts":[[2014,6,25]]}},"container-title":["2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6919808\/6933969\/06934001.pdf?arnumber=6934001","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T18:39:06Z","timestamp":1490294346000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6934001\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/newcas.2014.6934001","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}