{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:00:34Z","timestamp":1725660034553},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/itng.2014.57","type":"proceedings-article","created":{"date-parts":[[2014,6,4]],"date-time":"2014-06-04T20:38:46Z","timestamp":1401914326000},"page":"27-32","source":"Crossref","is-referenced-by-count":5,"title":["A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331"],"prefix":"10.1109","author":[{"given":"Andre","family":"Sarkis","sequence":"first","affiliation":[]},{"given":"Luiz Alberto Vieira","family":"Dias","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"DO-178C Software Considerations in Airborne Systems and Equipment Certification","year":"2011","key":"3"},{"year":"2013","key":"2"},{"journal-title":"ARP4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment","year":"1996","key":"10"},{"journal-title":"RTCA Inc","year":"2012","key":"1"},{"year":"2003","author":"miller","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-8348-8675-0_5"},{"journal-title":"Um Conjunto de Regras Para Producao de Modelos de Design em Observancia Com As Normas DO-178C e DO-331","year":"2014","author":"sarkis","key":"5"},{"journal-title":"DO-331 - Model-based Development and Verification Supplement to DO-178C and DO-278A","year":"2011","key":"4"},{"journal-title":"Advisory Circular 20-115C - Airborne Software Assurance","year":"2013","key":"9"},{"journal-title":"Developing Safety-Critical Software A Pratical Guide for Aviation Software and DO-178C Compliance","year":"2013","author":"rierson","key":"8"}],"event":{"name":"2014 Eleventh International Conference on Information Technology: New Generations (ITNG)","start":{"date-parts":[[2014,4,7]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2014,4,9]]}},"container-title":["2014 11th International Conference on Information Technology: New Generations"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6821068\/6822158\/06822171.pdf?arnumber=6822171","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T16:29:20Z","timestamp":1490286560000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6822171\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/itng.2014.57","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}