{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:11:36Z","timestamp":1740132696234,"version":"3.37.3"},"reference-count":13,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000005","name":"U.S. Department of Defense","doi-asserted-by":"publisher","award":["FA8702-15-D-0002"],"award-info":[{"award-number":["FA8702-15-D-0002"]}],"id":[{"id":"10.13039\/100000005","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Softw."],"published-print":{"date-parts":[[2022,7]]},"DOI":"10.1109\/ms.2022.3167533","type":"journal-article","created":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T19:42:28Z","timestamp":1651088548000},"page":"34-38","source":"Crossref","is-referenced-by-count":0,"title":["Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language"],"prefix":"10.1109","volume":"39","author":[{"given":"Jerome","family":"Hugues","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"Sam","family":"Procter","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_28"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-4436-6_2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2014.6979679"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2021.102376"},{"year":"2008","key":"ref4"},{"journal-title":"Contracts for Systems Design Theory","year":"2015","author":"beneveniste","key":"ref3"},{"journal-title":"ROI analysis of the system architecture virtual integration initiative","year":"2018","author":"j\u00f6rgen","key":"ref6"},{"key":"ref5","first-page":"1","article-title":"Architecture Centric Virtual Integration Process (ACVIP): A key component of the DoD digital engineering strategy","author":"boydston","year":"0","journal-title":"Proc 22nd Annu Syst Mission Eng Conf"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.12.007"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3092893.3092899"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.37.1"},{"journal-title":"Design by Contract","year":"1986","author":"meyer","key":"ref1"},{"journal-title":"Contracts for system design","year":"2012","author":"benveniste","key":"ref9"}],"container-title":["IEEE Software"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/52\/9801712\/9764149-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/52\/9801712\/09764149.pdf?arnumber=9764149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,11]],"date-time":"2022-07-11T19:42:43Z","timestamp":1657568563000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9764149\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7]]},"references-count":13,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/ms.2022.3167533","relation":{},"ISSN":["0740-7459","1937-4194"],"issn-type":[{"type":"print","value":"0740-7459"},{"type":"electronic","value":"1937-4194"}],"subject":[],"published":{"date-parts":[[2022,7]]}}}