{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,14]],"date-time":"2025-04-14T18:42:24Z","timestamp":1744656144271,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/memcod.2016.7797758","type":"proceedings-article","created":{"date-parts":[[2016,12,29]],"date-time":"2016-12-29T16:54:22Z","timestamp":1483030462000},"page":"133-142","source":"Crossref","is-referenced-by-count":8,"title":["Verification of component architectures using mode-based contracts"],"prefix":"10.1109","author":[{"given":"Stefan","family":"Kugele","sequence":"first","affiliation":[]},{"given":"Diego","family":"Marmsoler","sequence":"additional","affiliation":[]},{"given":"Nuria","family":"Mata","sequence":"additional","affiliation":[]},{"given":"Kai","family":"Werther","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","article-title":"An Overview of JML Tools and Applications","volume":"7","author":"burdy","year":"2005","journal-title":"Int J Softw Tools Technol Transf"},{"key":"ref11","first-page":"49","article-title":"The Spec# Programming System: An Overview","volume":"3362","author":"barnett","year":"2005","journal-title":"CASSIS 2004 ser LNCS"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_10"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763167"},{"key":"ref14","first-page":"33","article-title":"Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption\/Promise Based System Specification","volume":"30","author":"broy","year":"2011","journal-title":"Software and Systems Safety - Specification and Verification"},{"key":"ref15","first-page":"92","article-title":"Assume-guarantee reasoning for safe component behaviours.","volume":"12","author":"chilton","year":"2012","journal-title":"FACS"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961848"},{"key":"ref17","first-page":"155","article-title":"Component composition with parametric contracts","volume":"2004","author":"reussner","year":"2004","journal-title":"Tagungsband der 9 net object days"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SBCARS.2015.22"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.06.007"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"journal-title":"Road vehicles-Functional safety (ISO 26262)","year":"2011","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(88)90022-2"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_11"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693137"},{"key":"ref7","first-page":"446","article-title":"Design by contract: The eiffel method","year":"1998","journal-title":"TOOLS 1998 IEEE Computer Society"},{"journal-title":"Cyber-Physical Systems Driving Force for Innovation in Mobility Health Energy and Production","year":"2011","key":"ref2"},{"key":"ref1","first-page":"310","article-title":"What is the benefit of a model-based design of embedded software systems in the car industry?","author":"broy","year":"2013","journal-title":"Software Design and Development Concepts Methodologies Tools and Applications Concepts Methodologies Tools and Applications"},{"journal-title":"Design by Contract with JML","year":"2006","author":"leavens","key":"ref9"},{"journal-title":"Model-based requirements engineering for multifunctional systems","year":"2015","author":"vogelsang","key":"ref20"},{"key":"ref21","first-page":"337","article-title":"Z3: An Efficient SMT Solver","author":"de moura","year":"2008","journal-title":"In TACAS 2008"}],"event":{"name":"2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2016,11,18]]},"location":"Kanpur, India","end":{"date-parts":[[2016,11,20]]}},"container-title":["2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786794\/7797738\/07797758.pdf?arnumber=7797758","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T22:15:38Z","timestamp":1568672138000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7797758\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/memcod.2016.7797758","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}