{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T06:33:55Z","timestamp":1730270035531,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/iri.2011.6009549","type":"proceedings-article","created":{"date-parts":[[2011,9,20]],"date-time":"2011-09-20T16:04:54Z","timestamp":1316534694000},"page":"218-221","source":"Crossref","is-referenced-by-count":1,"title":["FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages"],"prefix":"10.1109","author":[{"given":"Nixon Sunny","family":"George","sequence":"first","affiliation":[]},{"given":"Cui","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Anne-Louise","family":"Radimsky","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Design by Contract Framework","year":"2002","author":"mcfarlane","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TOOLS.1998.711021"},{"journal-title":"Design by Contract? for Java? Using JMSAssert?","year":"0","key":"10"},{"key":"1","first-page":"7","article-title":"Support for design by contract in the C# programming language","volume":"4","author":"rachel","year":"2004","journal-title":"Journal of Object Technology"},{"key":"7","first-page":"405","article-title":"Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z","author":"swomiya","year":"2006","journal-title":"5th IEEE\/ACIS International Conference OnComputer and Information Sciences (ICIS)"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0052181"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2002.1.3.a1"},{"journal-title":"Object-Oriented Software Construction","year":"1997","author":"meyer","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"8","first-page":"824","article-title":"Object-Z to Java\/Perl: A conversion from object-z to executable skeletal code with dynamically checkable design contracts","author":"sherri","year":"0","journal-title":"Proceedings of the 2008 International Conference on Software Engineering and Knowledge Engineering"}],"event":{"name":"Integration (IRI)","start":{"date-parts":[[2011,8,3]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2011,8,5]]}},"container-title":["2011 IEEE International Conference on Information Reuse & Integration"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5996363\/6009494\/06009549.pdf?arnumber=6009549","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T13:07:22Z","timestamp":1490101642000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6009549\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/iri.2011.6009549","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}