{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:43:13Z","timestamp":1725615793666},"publisher-location":"London","reference-count":17,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540761914"},{"type":"electronic","value":"9781447109976"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-1-4471-0997-6_16","type":"book-chapter","created":{"date-parts":[[2011,9,30]],"date-time":"2011-09-30T16:07:46Z","timestamp":1317398866000},"page":"197-209","source":"Crossref","is-referenced-by-count":1,"title":["Computer Based Support for Standards and Processes in Safety Critical Systems"],"prefix":"10.1007","author":[{"given":"S. P.","family":"Wilson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. A.","family":"McDermid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. M.","family":"Kirkham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. H.","family":"Pygott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. J.","family":"Tombs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"MoD. Defence Standard 00\u201355, Requirements for Safety Related Software in Defence Equipment, Parts 1 and 2. Version to supersede INTERIM Def Stan 00\u201355."},{"key":"16_CR2","unstructured":"MoD. Defence Standard 00\u201356 Safety Management Requirements for Defence Systems. UK Ministry of Defence, April 1991."},{"key":"16_CR3","unstructured":"IEC. IEC 1508 Functional Safety: Safety-Related Systems, IEC Sub-Committee 65A: System Aspects. International Electrotechnical Commission, June 1995."},{"key":"16_CR4","unstructured":"JAA. JAR-25, Joint Airworthiness Requirements, Part 25. Joint Aviation Authority, 1990"},{"key":"16_CR5","unstructured":"HSE. Safety Assessment Principles for Nuclear Plants. Health and Safety Executive, HMSO, ISBN 0 11 882043 5, 1992."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Curtis B, Kellner MI. Over J, Process Modeling. Communications of the ACM, Vol. 35 No. 9, September 1992.","DOI":"10.1145\/130994.130998"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0951-8320(94)90057-4","volume":"43","author":"JA McDermid","year":"1994","unstructured":"McDermid JA. Support for Safety Cases and Safety Arguments Using SAM. Reliability Engineering and System Safety, No 43: pi 11\u2013127.1994.","journal-title":"Reliability Engineering and System Safety"},{"key":"16_CR8","first-page":"135","volume-title":"Safety And Reliability of Software Based Systems","author":"SP Wilson","year":"1995","unstructured":"Wilson S P, Kelly T P, McDermid JA. Safety Case Development: Current Practice, Future Prospects. In: Shaw R (ed) Safety And Reliability of Software Based Systems. Twelfth Annual CSR Workshop, pp 135\u2013156, Bruges 12th-15th September 1995.Springer Verlag."},{"key":"16_CR9","first-page":"498","volume-title":"Assessing Complex Computer Based Systems using the Goal Structuring Notation","author":"SP Wilson","year":"1996","unstructured":"Wilson S P, McDermid J A, Pygott C H, Tombs DJ. Assessing Complex Computer Based Systems using the Goal Structuring Notation. In: Proceedings of the 2nd International Conference on the Engineering of Complex Computer Systems, pp 498\u2013505, Montreal, 21\u201325 October 1996."},{"key":"16_CR10","first-page":"198","volume-title":"The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems","author":"SP Wilson","year":"1996","unstructured":"Wilson S P, McDermid J A, Fenelon P., Kirkham P. The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems. In: Proceedings of the 1996 IEEE Symposium and Workshop on Engineering of Computer Based systems, pp 198-205, March 11\u201315 1996, Friedrichshafen, Germany."},{"key":"16_CR11","volume-title":"The Uses of Argument","author":"SE Toulmin","year":"1958","unstructured":"Toulmin SE.The Uses of Argument. Cambridge University Press. 1958."},{"key":"16_CR12","first-page":"107","volume-title":"Safety And Reliability of Software Based Systems","author":"PG Bishop","year":"1995","unstructured":"Bishop P G, Bloomfield RE.The SHIP Safety Case Approach: A Combination of System and Software Methods. In: Shaw R (ed) Safety And Reliability of Software Based Systems, Twelfth Annual CSR Workshop, pp 107\u2013121, Bruges 12th-15th September 1995. Springer Verlag."},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1093\/comjnl\/38.10.765","volume":"38","author":"SP Wilson","year":"1995","unstructured":"Wilson S P, McDermid JA.Integrated Analysis of Complex Safety Critical Systems, The Computer Journal, Vol. 38, No 10: 765\u2013776, 1995.","journal-title":"The Computer Journal"},{"key":"16_CR14","volume-title":"A Multi-Perspective Framework for Method Integration","author":"BAA Nuseibeh","year":"1994","unstructured":"Nuseibeh B A.A Multi-Perspective Framework for Method Integration. PhD Thesis, Department of Computing, Imperial College, University of London, 1994."},{"key":"16_CR15","volume-title":"A Practical Case Study of the Management of Reliability, Safety and other Concurrent Engineering Information","author":"R Collins","year":"1994","unstructured":"Collins R, Dent J N.A Practical Case Study of the Management of Reliability, Safety and other Concurrent Engineering Information. In: Proceedings of the Safety And Reliability Conference, 1994."},{"key":"16_CR16","unstructured":"NATO. STANAG 4187 Fuzing Systems - Safety Design Requirements. Draft Edition 2."},{"key":"16_CR17","unstructured":"Ordnance Board. Pillar Proceeding PI20(1) Integrated Design Analysis for Fuzing System Safety. March 1996."}],"container-title":["Safe Comp 97"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0997-6_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T01:01:16Z","timestamp":1619830876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0997-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540761914","9781447109976"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0997-6_16","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}