{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:25Z","timestamp":1763468065692,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/topi.2012.6229809","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T21:36:12Z","timestamp":1341956172000},"page":"43-48","source":"Crossref","is-referenced-by-count":12,"title":["Integrating a set of contract checking tools into Visual Studio"],"prefix":"10.1109","author":[{"given":"Manuel","family":"Fahndrich","sequence":"first","affiliation":[]},{"given":"Michael","family":"Barnett","sequence":"additional","affiliation":[]},{"given":"Daan","family":"Leijen","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Logozzo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Eclipse","year":"2011","key":"13"},{"journal-title":"Eclipse Rich Client Platform Designing Coding and Packaging Java(TM) Applications","year":"2005","author":"mcaffer","key":"14"},{"key":"11","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","article-title":"An overview of JML tools and applications","volume":"7","author":"burdy","year":"2005","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/WCSE.2010.92"},{"key":"3","first-page":"10","article-title":"Static contract checking with abstract interpretation","author":"fa?hndrich","year":"2010","journal-title":"FoVeOOS"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774531"},{"journal-title":"CodeContract Tools","year":"2009","author":"fa?hndrich","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_35"},{"journal-title":"Standard ECMA-355 Common Language Infrastructure","year":"2006","key":"7"},{"key":"6","first-page":"1","article-title":"Preliminary design of JML: A behavioral interface specification language for Java","volume":"31","author":"leavens","year":"2006","journal-title":"SIGSOFT\/FSE"},{"key":"5","article-title":"The Spec# programming system: An overview","volume":"3362","author":"barnett","year":"2004","journal-title":"LNCS"},{"journal-title":"Standard ECMA-355 Common Language Infrastructure","year":"2006","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869515"},{"journal-title":"Unix Make Tool","year":"0","author":"feldman","key":"8"}],"event":{"name":"2012 2nd Workshop on Developing Tools as Plug-ins (TOPI)","start":{"date-parts":[[2012,6,3]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,3]]}},"container-title":["2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6220301\/6229799\/06229809.pdf?arnumber=6229809","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:11:13Z","timestamp":1497993073000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6229809\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/topi.2012.6229809","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}