Improvements in System Safety Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008 /

Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2008. The Symposium is for engineers, managers and academics in the field of safety, across all industry sectors, and so the pape...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Redmill, Felix (Editor ), Anderson, Tom (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Temas:
Software engineering.
Electronic digital computers-Evaluation.
Software Engineering.
System Performance and Evaluation.
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-1-84800-100-8
003 DE-He213
005 20220113023144.0
007 cr nn 008mamaa
008 100301s2008 xxk| s |||| 0|eng d
020 |a 9781848001008  |9 978-1-84800-100-8 
024 7 |a 10.1007/978-1-84800-100-8  |2 doi 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
072 7 |a UMZ  |2 thema 
082 0 4 |a 005.1  |2 23 
245 1 0 |a Improvements in System Safety  |h [electronic resource] :  |b Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008 /  |c edited by Felix Redmill, Tom Anderson. 
250 |a 1st ed. 2008. 
264 1 |a London :  |b Springer London :  |b Imprint: Springer,  |c 2008. 
300 |a X, 266 p. 42 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a Tutorial Paper -- Can Process-Based and Product-Based Approaches to Software Safety Certification be Reconciled? -- Themes Reprised from SSS ?07 -- Making Safe Software Secure -- Safety Process Improvement with POSE and Alloy -- How to Select a Programming Language Subset to Maximise Software Quality -- The Safety Case -- Safety Case Development How can I continue the work? -- Safety Case Experiences from Harrier -- Safety Culture -- Investigation to Establish Whether Cultural Analysis can be used to Improve the Interactions Between Design, Safety and Operations Departments -- Human Performance Improvement-Reducing Significant Events in Nuclear Power -- Human Factors -- A Human Factors Perspective on Safety Management Systems -- Human Factors Safety Assurance for Changing ATM Systems -- Achieving and Improving System Safety -- Practical Ways of Improving Product Safety in Industry -- Prototyping versus Formal Development -- Systems Approach to Unmanned Air Vehicle Development and Certification -- Safety and Risk Analysis -- Safety Analysis: Thoughts on Methods and Experience -- Simplifying the Creation and Use of the Risk Matrix. 
520 |a Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2008. The Symposium is for engineers, managers and academics in the field of safety, across all industry sectors, and so the papers included in this volume offer a wide-ranging coverage of major safety issues as well as a good blend of academic research and industrial experience. They include discussions of some of the most recent developments in the field. The first paper reflects a tutorial - on The Safety Case - held on the first day of the Symposium. The subsequent 14 papers are presented under the headings of the Symposium's sessions: Themes Reprised from SSS '07; The Safety Case; Safety Culture; Human Factors; Achieving and Improving System Safety; Safety and Risk Analysis. This book will be of interest to both academics and practitioners working in the safety-critical systems arena. 
650 0 |a Software engineering. 
650 0 |a Electronic digital computers-Evaluation. 
650 1 4 |a Software Engineering. 
650 2 4 |a System Performance and Evaluation. 
700 1 |a Redmill, Felix.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Anderson, Tom.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9781848007086 
776 0 8 |i Printed edition:  |z 9781848000995 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-1-84800-100-8  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710) 

Ejemplares similares