{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:17:33Z","timestamp":1725502653736},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/eurmic.2004.1333430","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T16:27:50Z","timestamp":1099931270000},"page":"620-626","source":"Crossref","is-referenced-by-count":1,"title":["A compositional claim-based component certification procedure"],"prefix":"10.1109","author":[{"given":"H.","family":"Mei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Lukkien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Muskens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Component Software-Beyond Object-Oriented Programming","year":"0","author":"szyperski","key":"17"},{"year":"0","key":"15"},{"year":"0","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSR.1998.685730"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.1996.501165"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/32.295896"},{"year":"0","key":"12"},{"key":"3","article-title":"Certification of distributed component computing middleware and applications","author":"ghosh","year":"0","journal-title":"4th ICSE Workshop on Component-Based Software Engineering Component Certification and System Prediction"},{"key":"2","article-title":"Is third party certification necessary","author":"stafford","year":"0","journal-title":"4th ICSE Workshop on Component-Based Software Engineering Component Certification and System Prediction"},{"key":"1","article-title":"Component certification and system prediction: Is there a role for formality?","author":"lau","year":"0","journal-title":"4th ICSE Workshop on Component-Based Software Engineering Component Certification and System Prediction"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DEXA.1998.707373"},{"journal-title":"Building reliable componentbased software systems","year":"0","author":"crnkovic","key":"7"},{"journal-title":"Componentbased Software Engineering Putting the Pieces Together","year":"0","author":"heineman","key":"6"},{"journal-title":"Component Packaging","year":"2004","author":"muskens","key":"5"},{"journal-title":"ROBOCOP Deliverable 1 5-Revised Specification of Framework and Models","year":"2003","author":"ronan mac laverty","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/2.863965"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(99)00143-0"}],"event":{"name":"Proceedings. 30th Euromicro Conference, 2004.","start":{"date-parts":[[2004,9,3]]},"location":"Rennes, France","end":{"date-parts":[[2004,9,3]]}},"container-title":["Proceedings. 30th Euromicro Conference, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9268\/29441\/01333430.pdf?arnumber=1333430","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T01:40:35Z","timestamp":1489455635000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1333430\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/eurmic.2004.1333430","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}