{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:32:51Z","timestamp":1725492771222},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441571"},{"type":"electronic","value":"9783540457329"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45732-1_19","type":"book-chapter","created":{"date-parts":[[2007,10,11]],"date-time":"2007-10-11T00:38:56Z","timestamp":1192063136000},"page":"186-197","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Analysing the Safety of a Software Development Process"],"prefix":"10.1007","author":[{"given":"Stephen E.","family":"Paynter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bob W.","family":"Born","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Mike Ainsworth, Katherine Eastaughffe, and Alan Simpson. Safety-Cases for Software Intensive Systems. In Redmill and Anderson [20], pages 1\u201312.","DOI":"10.1007\/978-1-4471-0713-2_1"},{"key":"19_CR2","unstructured":"J. Barnes. High Integrity Ada: The SPARK Approach. Addison-Wesley, 1997."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Jack Crawford. Some Ways of Improving Our Methods of Qualitative Analysis and Why We Need Them. In Redmill and Anderson [20], pages 89\u201399.","DOI":"10.1007\/978-1-4471-0713-2_7"},{"issue":"5","key":"19_CR4","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1049\/cce:19940509","volume":"5","author":"W. J. Cullyer","year":"1994","unstructured":"W. J. Cullyer and N. Storey. Tools and Techniques for the Testing of Safety-Critical Software. IEE Computing and Control Engineering Journal, 5(5):239\u2013244, October 1994.","journal-title":"IEE Computing and Control Engineering Journal"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Stewart Gardiner, editor. Testing Safety-Related Software: A Practical Handbook. Springer, 1999.","DOI":"10.1007\/978-1-4471-3277-6"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"J. Griffyth. Human Issues in the Software Development Process \u2014 Modelling their Influence on Productivity and Integrity. In Redmill and Anderson [19], pages 105\u2013123.","DOI":"10.1007\/978-1-4471-1480-2_7"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"D. C. Ince. Software Testing, chapter 19. In McDermid [13], 1991.","DOI":"10.1016\/B978-0-7506-0813-8.50026-5"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Denis Jackson. New Developments in Quality Management as a Pre-requisite to Safety. In Redmill and Anderson [18], pages 257\u2013269.","DOI":"10.1007\/978-1-4471-2037-7_17"},{"key":"19_CR9","unstructured":"Nancy G. Leveson. Safeware: System Safety and Computers. Addison Wesley, 1995."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Bev Littlewood. Software Reliability Modelling, chapter 31. In McDermid [13], 1991.","DOI":"10.1016\/B978-0-7506-0813-8.50038-1"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Bev Littlewood. The Need for Evidence from Disparate Sources to Evaluate Software Safety. In Redmill and Anderson [18], pages 217\u2013231.","DOI":"10.1007\/978-1-4471-2037-7_14"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"R. Malcolm, S. Clarke, S. Hatton, and R. May. Who can you Trust?: Assessing Professional Competence. In Felix Redmill and Tom Anderson, editors, Towards System Safety \u2014 Proceedings of the 7\n                           \n                    th\n                  \n                           Safety-Critical Systems Symposium, pages 239\u2013255. Springer, 1999.","DOI":"10.1007\/978-1-4471-0823-8_15"},{"key":"19_CR13","unstructured":"J.A. McDermid, editor. Software Engineering Reference Book. Butterworth-Heinemann, 1991."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Andrew McGettrick and Ray Ward. Towards Meaningful Uptake of Competency Descriptors. In Redmill and Anderson [20], pages 197\u2013205.","DOI":"10.1007\/978-1-4471-0713-2_14"},{"key":"19_CR15","unstructured":"Ministry of Defence. Safety Management Requirements for Defence Systems, December 1996. Defence Standard 00-56."},{"key":"19_CR16","unstructured":"Ministry of Defence. The Procurement of Safety-Critical Software in Defence Equipment, August 1997. Defence Standard 00-55-Issue 2."},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Martin Neil, Bev Littlewood, and Norman Fenton. Applying Bayseian Belief Networks to System Dependability Assessment. In Redmill and Anderson [19], pages 71\u201394.","DOI":"10.1007\/978-1-4471-1480-2_5"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Felix Redmill and Tom Anderson, editors. Directions in Safety-Critical Systems \u2014 Proceedings of the 1\n                           \n                    st\n                  \n                           Safety-Critical Systems Symposium. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4471-2037-7"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Felix Redmill and Tom Anderson, editors. Safety-Critical Systems: The Convergence of High-Tech and Human Factors \u2014 Proceedings of the 4\n                           \n                    th\n                  \n                           Safety-Critical Systems Symposium. Springer, 1996.","DOI":"10.1007\/978-1-4471-1480-2"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Felix Redmill and Tom Anderson, editors. Aspects of Safety Management \u2014 Proceedings of the 9\n                           \n                    th\n                  \n                           Safety-Critical Systems Symposium. Springer, 2001.","DOI":"10.1007\/978-1-4471-0713-2"},{"issue":"3","key":"19_CR21","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1049\/sej.1986.0018","volume":"1","author":"H. R. Simpson","year":"1986","unstructured":"H. R. Simpson. The MASCOT Method. Software Engineering Journal, 1(3):103\u2013120, 1986.","journal-title":"Software Engineering Journal"},{"key":"19_CR22","unstructured":"H. R. Simpson. Layered Architecture(s): Principles and Practice in Concurrent and Distributed Systems. In Proceedings of the 8\n                           \n                    th\n                  \n                           IEEE Symposium on Parallel and Distributed Processing, 1996."},{"issue":"2","key":"19_CR23","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1049\/sej.1996.0010","volume":"11","author":"G. Woodward","year":"1996","unstructured":"G. Woodward. Rapier 2000 Software Development Programme. Software Engineering Journal, 11(2):82\u201387, 1996.","journal-title":"Software Engineering Journal"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45732-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:49:39Z","timestamp":1558277379000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45732-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441571","9783540457329"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45732-1_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"18 September 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}