MPG.eBooks - Search Results

1

Achievement and Assurance of Safety : Proceedings of the Third Safety-critical Systems Symposium

Published 1995

Springer London

Table of Contents: “... Software -- Using Incident Analysis to Derive a Methodology for Assessing Safety in Programmable Systems...”

Read Now

2

Safer Systems : Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997

Published 1997

Springer London

Table of Contents: “... Assessment -- Is There a Role for Third Party Software Assessment in the Automotive Industry? -- Initial...”

Read Now

3

Industrial Perspectives of Safety-critical Systems : Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998

Published 1998

Springer London

Table of Contents: “...: In-Service Management -- Static Analysis of Safety Critical Software (Techniques, Tools and Experiences...”

Read Now

4

Towards System Safety : Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK 1999

Published 1999

Springer London

Subjects: “...Software engineering...”

Read Now

5

Current Issues in Safety-Critical Systems : Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4–6 February 2003

Published 2003

Springer London

Table of Contents: “... -- Managing Complex Safety Cases -- Development and Legal Issues -- White Box Software Development...”

Read Now

6

Technology and Assessment of Safety-Critical Systems : Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8–10 February 1994

Published 1994

Springer London

Table of Contents: “... -- Social Issues in High-Tech Safety -- Human Error in the Software Generation Process -- Cognitive...”

Read Now

7

Safety-Critical Systems: The Convergence of High Tech and Human Factors : Proceedings of the Fourth Safety-critical Systems Symposium Leeds, UK 6–8 February 1996

Published 1996

Springer London

Table of Contents: “... Dependability Assessment -- Exploit (Technology) or Die -- Human Issues in the Software Development Process...”

Read Now

8

Aspects of Safety Management : Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001

Published 2001

Springer London

Table of Contents: “...Safety Cases for Software-Intensive Systems -- Safety Management -- System Safety and Management...”

Read Now

9

Practical Elements of Safety : Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17–19 February 2004

Published 2004

Springer London

Table of Contents: “... and Practical Formality -- Safe Object-Oriented Software: The Verified Design-By-Contract Paradigm -- A Rigorous...”

Read Now

10

Components of System Safety : Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002

Published 2002

Springer London

Subjects: “...Software engineering...”

Read Now

11

Directions in Safety-Critical Systems : Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9–11 February 1993

Published 1993

Springer London

Table of Contents: “... -- Data Management in Clinical Laboratory Information Systems -- Software Engineering Methods...”

Narrow Search