{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T22:05:25Z","timestamp":1791065125376,"version":"4.1.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":1,"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":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul","family":"Mougeat","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Arnaud","family":"Francois","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roselyne","family":"Chotin-Avot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Habib","family":"Mehrez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"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"},{"key":"10","author":"rumbaugh","year":"2004","journal-title":"The Unified Modeling Language Reference"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1119772.1119877"},{"key":"7","year":"2010"},{"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"},{"key":"11","year":"0"},{"key":"12","year":"0"}],"event":{"name":"2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS)","location":"Trois-Rivieres, QC, Canada","start":{"date-parts":[[2014,6,22]]},"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]]}}}