{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T18:51:27Z","timestamp":1760122287814,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/sies.2013.6601484","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T18:04:23Z","timestamp":1380132263000},"page":"120-129","source":"Crossref","is-referenced-by-count":10,"title":["Formalization and completeness of evolving requirements using Contracts"],"prefix":"10.1109","author":[{"given":"Leonardo","family":"Mangeruca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Orlando","family":"Ferrante","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_25"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2002.1012607"},{"key":"18","first-page":"1","article-title":"Branching vs. Linear time: Final showdown","volume":"2031","author":"vardi","year":"2001","journal-title":"TACAS'01"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2005.1465397"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-005-6205-y"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1209\/epl\/i2004-10533-6"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79124-9_2"},{"key":"11","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/978-3-642-33675-1_38","article-title":"Parallel nusmv: A nusmv extension for the verification of complex embedded systems","volume":"7613","author":"ferrante","year":"2012","journal-title":"Computer Safety Reliability and Security"},{"key":"12","article-title":"Verify contract-based designed discrete systems by simulation","author":"ferrante","year":"2010","journal-title":"INCOSE EuSEC"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268873"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.2316\/P.2011.715-008"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2003.1219045"},{"key":"2","article-title":"The airbus approach to open integrated modular avionics (IMA): Technology, functions, industrial processes and future development road map","author":"butz","year":"2007","journal-title":"International Workshop on Aircraft System Technologies"},{"year":"0","key":"1"},{"key":"10","first-page":"103","article-title":"Solution of parallel language equations for logic synthesis","author":"yevtushenko","year":"2001","journal-title":"ICCAD"},{"year":"0","key":"7"},{"year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763167"},{"key":"4","article-title":"Contracts for system design","author":"benveniste","year":"2012","journal-title":"INRIA Rapport de Recherche RR-8147"},{"key":"9","first-page":"142","article-title":"A contract-based formalism for the specification of heterogeneous systems (invited)","author":"benvenuti","year":"2008","journal-title":"FDL IEEE"},{"key":"8","first-page":"200","author":"benveniste","year":"2008","journal-title":"Multiple Viewpoint Contract-based Specification and Design"}],"event":{"name":"2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2013,6,19]]},"location":"Porto","end":{"date-parts":[[2013,6,21]]}},"container-title":["2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6589042\/6601457\/06601484.pdf?arnumber=6601484","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T11:09:49Z","timestamp":1602673789000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6601484"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/sies.2013.6601484","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}