{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:13:42Z","timestamp":1759335222938},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/issrew.2013.6688921","type":"proceedings-article","created":{"date-parts":[[2014,1,3]],"date-time":"2014-01-03T18:44:26Z","timestamp":1388774666000},"page":"359-364","source":"Crossref","is-referenced-by-count":19,"title":["Strong and weak contract formalism for third-party component reuse"],"prefix":"10.1109","author":[{"given":"Irfan","family":"Sljivo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Gallina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Carlson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Hansson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45416-0_13"},{"key":"14","article-title":"Fostering reuse within safety-critical component-based systems through fine-grained contracts","author":"sljivo","year":"2013","journal-title":"International Workshop on Critical Software Component Reusability and Certification Across Domains"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1111\/j.1365-2575.2007.00257.x"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/112629.112632"},{"key":"3","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-642-28872-2_3","article-title":"Moving from specifications to contracts in component-based design","author":"bauer","year":"2012","journal-title":"Proc of the International Conference on Fundamental Approaches to Software Engineering"},{"year":"0","key":"2"},{"year":"0","key":"1"},{"key":"10","article-title":"Safety, security, and software reuse: A model-based approach","author":"kath","year":"2009","journal-title":"Proceedings of the 4th International Workshop on Software Reuse and Safety RESAFE '09"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763167"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2012.68"},{"key":"5","article-title":"Multiple viewpoint contract-based specification and design","author":"benveniste","year":"2007","journal-title":"Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects (FMCO'07)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16901-4_29"},{"year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73196-2_1"}],"event":{"name":"2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","start":{"date-parts":[[2013,11,4]]},"location":"Pasadena, CA, USA","end":{"date-parts":[[2013,11,7]]}},"container-title":["2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6679593\/6688826\/06688921.pdf?arnumber=6688921","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:45:17Z","timestamp":1602690317000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6688921"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/issrew.2013.6688921","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}