{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:09:57Z","timestamp":1729631397081,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/syscon.2015.7116733","type":"proceedings-article","created":{"date-parts":[[2015,6,10]],"date-time":"2015-06-10T15:27:37Z","timestamp":1433950057000},"page":"84-89","source":"Crossref","is-referenced-by-count":3,"title":["Analyzing semantic relationships between multiformalism models for inconsistency management"],"prefix":"10.1109","author":[{"given":"Ahsan","family":"Qamar","sequence":"first","affiliation":[]},{"given":"Sebastian J. I.","family":"Herzig","sequence":"additional","affiliation":[]},{"given":"Christiaan J. J.","family":"Paredis","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Torngren","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Rational Design Theory A Decision-Based Foundation for Studying Design Methods","year":"2011","author":"thompson","key":"ref4"},{"key":"ref3","article-title":"Properties","author":"swoyer","year":"2011","journal-title":"The Stanford Encyclopedia of Philosophy"},{"journal-title":"The Syntax and Semantics of Complex Nominals","year":"1978","author":"levi","key":"ref10"},{"journal-title":"OMG Unified Modeling Language (UML) Specification V2 4 1","year":"2011","key":"ref6"},{"key":"ref11","article-title":"A Characterization of Integrated Multi- View Modeling for Embedded Systems","author":"persson","year":"0","journal-title":"International Conference on Embedded Software"},{"key":"ref5","first-page":"1","article-title":"la prévision: Ses lois logiques, ses sources subjectives","volume":"7","author":"de finetti","year":"1980","journal-title":"translated as “foresight its logical laws its subjective sources” in Studies in Subjective Probability"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1016\/j.procs.2014.03.044","article-title":"An Approach to Identifying Inconsistencies in Model-based Systems Engineering","volume":"28","author":"herzig","year":"2014","journal-title":"Procedia Computer Science"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01263048"},{"journal-title":"OMG Meta Object Facility (MOF) Core Specification","year":"2013","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.172"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2307\/412913"},{"journal-title":"Mars Climate Orbiter Mishap Investigation Board Phase I Report","year":"1999","author":"stephenson","key":"ref1"}],"event":{"name":"2015 9th Annual IEEE International Systems Conference (SysCon)","start":{"date-parts":[[2015,4,13]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2015,4,16]]}},"container-title":["2015 Annual IEEE Systems Conference (SysCon) Proceedings"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7112393\/7116715\/07116733.pdf?arnumber=7116733","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T09:23:22Z","timestamp":1498209802000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7116733\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/syscon.2015.7116733","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}