{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T14:51:49Z","timestamp":1772549509589,"version":"3.50.1"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1109\/date.2011.5763167","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T17:45:16Z","timestamp":1361295916000},"page":"1-6","source":"Crossref","is-referenced-by-count":74,"title":["Using contract-based component specifications for virtual integration testing and architecture design"],"prefix":"10.1109","author":[{"given":"W","family":"Damm","sequence":"first","affiliation":[]},{"given":"H","family":"Hungar","sequence":"additional","affiliation":[]},{"given":"B","family":"Josko","sequence":"additional","affiliation":[]},{"given":"T","family":"Peikenkamp","sequence":"additional","affiliation":[]},{"given":"I","family":"Stierand","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","author":"gafni","year":"2008","journal-title":"SPEEDS Deliverable D 2 54 Contract Specification Language (CSL)"},{"key":"ref11","article-title":"Designing embedded systems using heterogeneous rich components","author":"josko","year":"2008","journal-title":"Proceedings of the INCOSE International Symposium 2008 June 2008 Utrecht"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0024-z"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.64"},{"key":"ref4","author":"benveniste","year":"2007","journal-title":"SPEEDS Meta-model Behavioural Semantics Technical report SPEEDS Consortium"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-92188-2_9","article-title":"Multiple viewpoint contract-based specification and design","author":"benveniste","year":"2008","journal-title":"Formal Methods for Components and Objects FMCO ‘07 LNCS"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2005.35"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008618722275"},{"key":"ref8","article-title":"A next-generation design framework for platform-based design","author":"davare","year":"0","journal-title":"Proc of Conference on Using Hardware Design and Verification Languages (DVCon) ‘07 2007"},{"key":"ref7","article-title":"Boosting re-use of embedded automotive applications through rich components","author":"damm","year":"2005","journal-title":"FIT'05 Foundations of Interface Technologies"},{"key":"ref2","year":"1996","journal-title":"Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment Aerospace Recommended Practice Society of Automotive Engineers USA"},{"key":"ref1","year":"1996","journal-title":"Certification Considerations for Highly-Integrated or Complex Aircraft Systems Aerospace Recommended Practice USA"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2008.tb00791.x"}],"event":{"name":"2011 Design, Automation & Test in Europe","location":"Grenoble","start":{"date-parts":[[2011,3,14]]},"end":{"date-parts":[[2011,3,18]]}},"container-title":["2011 Design, Automation & Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5754459\/5762992\/05763167.pdf?arnumber=5763167","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T03:50:05Z","timestamp":1498017005000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5763167\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/date.2011.5763167","relation":{},"subject":[],"published":{"date-parts":[[2011,3]]}}}