{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T05:34:05Z","timestamp":1649050445917},"reference-count":14,"publisher":"Institution of Engineering and Technology (IET)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEE Proc., Softw."],"published-print":{"date-parts":[[1999]]},"DOI":"10.1049\/ip-sen:19990612","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T11:09:42Z","timestamp":1027681782000},"page":"130","source":"Crossref","is-referenced-by-count":0,"title":["CONVERSE: A change-oriented process for engine controllers"],"prefix":"10.1049","volume":"146","author":[{"given":"D. L.","family":"Buttle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. A.","family":"Clark","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. A.","family":"McDermid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Stephenson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N. J.","family":"Tracey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"265","reference":[{"key":"10.1049\/ip-sen:19990612_r1","author":"HILL","year":"1994","journal-title":"Presented at 1994 Avionics Conference and Exhibition Systems, Integration, is the Sky the Limit?"},{"key":"10.1049\/ip-sen:19990612_r2","author":"HILL","year":"1994","journal-title":"Presented at Royal Aeronautical Society Conference"},{"key":"10.1049\/ip-sen:19990612_r3","author":"VICKERS","year":"1996","journal-title":"INCOSE UK Annual Symposium-Getting to Grips with Complexity"},{"key":"10.1049\/ip-sen:19990612_r4","author":"MCDERMID","year":"1998","journal-title":"Proceedings of IEEE ICFEM (International Conference on Formal Engineering Methods)"},{"key":"10.1049\/ip-sen:19990612_r5","author":"POWELL","year":"1998","journal-title":"Software Process Improvement 1998"},{"key":"10.1049\/ip-sen:19990612_r6","unstructured":"BARNES, J. with PRAXIS CRITICAL SYSTEMS LTD: \u2018High integrity Ada the Spark approach\u2019, (Addison Wesley 1997)"},{"key":"10.1049\/ip-sen:19990612_r7","unstructured":"RTCA\/DO-178B: Software Considerations in Airborne Systems and Equipment Certification RADIO TECHNICAL COMMISSION FOR AERONAUTICS December 1992"},{"key":"10.1049\/ip-sen:19990612_r8","first-page":"40","volume":"19","author":"TRACZ","year":"1993"},{"key":"10.1049\/ip-sen:19990612_r9","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/52.730836","volume":"15","author":"COPLIEN","year":"1998","ISSN":"http:\/\/id.crossref.org\/issn\/0740-7459","issn-type":"print"},{"key":"10.1049\/ip-sen:19990612_r10","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0164-1212(83)90030-4","volume":"3","author":"LEVESON","year":"1983","ISSN":"http:\/\/id.crossref.org\/issn\/0164-1212","issn-type":"print"},{"key":"10.1049\/ip-sen:19990612_r11","volume":"6","author":"FENELON","year":"1993","ISSN":"http:\/\/id.crossref.org\/issn\/0164-1212","issn-type":"print"},{"key":"10.1049\/ip-sen:19990612_r12","author":"TRACEY","year":"1999","journal-title":"17th International System Safety Conference"},{"key":"10.1049\/ip-sen:19990612_r13","first-page":"73","volume":"23","author":"TRACEY","year":"1998"},{"key":"10.1049\/ip-sen:19990612_r14","first-page":"169","author":"TRACEY","year":"1998","journal-title":"Proceedings of the IFIP International Workshop on Dependable Computing and Its Applications (DCIA)"}],"container-title":["IEE Proceedings - Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_19990612?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T03:16:49Z","timestamp":1609471009000},"score":1,"resource":{"primary":{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_19990612"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999]]}},"URL":"https:\/\/doi.org\/10.1049\/ip-sen:19990612","relation":{},"ISSN":["1462-5970"],"issn-type":[{"value":"1462-5970","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}