{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:49:22Z","timestamp":1729676962249,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/assure.2013.6614266","type":"proceedings-article","created":{"date-parts":[[2013,10,2]],"date-time":"2013-10-02T18:32:14Z","timestamp":1380738734000},"page":"18-23","source":"Crossref","is-referenced-by-count":1,"title":["Nuanced term-matching to assist in compositional safety assurance"],"prefix":"10.1109","author":[{"given":"Katrina","family":"Attwood","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippa","family":"Conmy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"IMA Design Guidance and Certification Considerations","article-title":"DO-297: Integrated modular avionics (IMA)","year":"2007","key":"3"},{"journal-title":"Safety Analysis of Computer Resource Management Software","year":"2006","author":"conmy","key":"2"},{"journal-title":"Roget s Thesaurus of English Words and Phrases","year":"1984","author":"lloyd","key":"10"},{"key":"1","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1049\/cp:20070454","article-title":"the who, where, how, why and when of modular and incremental certification","author":"fenn","year":"2007","journal-title":"2007 2nd Institution of Engineering and Technology International Conference on System Safety"},{"journal-title":"The ConCERT Approach to Requirements Specification Version 2","year":"1996","author":"vickers","key":"7"},{"key":"6","first-page":"1","article-title":"Attempt to controlled english-not just another logic specification language","volume":"1559","author":"fuchs","year":"1999","journal-title":"LNCS"},{"key":"5","first-page":"29","article-title":"Vertical safety interfaces-improving the efficiency of modular certification","author":"zimmer","year":"2011","journal-title":"SAFECOMP"},{"journal-title":"ISO26262 Road Vehicles - Functional Safety","year":"2011","key":"4"},{"key":"9","volume":"1","author":"lyons","year":"1977","journal-title":"Semantics"},{"key":"8","first-page":"10","article-title":"The nature of the linguistic sign, from Cours de linguistique generale","author":"de saussure","year":"1916","journal-title":"Modern Criticism and Theory A Reader 1988"},{"year":"2011","key":"11"}],"event":{"name":"2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE)","start":{"date-parts":[[2013,5,19]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,19]]}},"container-title":["2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596099\/6614259\/06614266.pdf?arnumber=6614266","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T19:02:18Z","timestamp":1498071738000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6614266\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/assure.2013.6614266","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}