MPG.eBooks - Search Results - Computer Software

1

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

2

Life Cycle Management For Dependability

Published 1997

Springer London

Table of Contents: “... -- 3.6 Summary -- 4 Measurement and Assurance -- 4.1 Introduction -- 4.2 Software Project Management...”

Read Now

3

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

4

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

5

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

Published 2002

Springer London

Subjects: “...Computer Engineering...”

Read Now

6

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

Published 1999

Springer London

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

Read Now

7

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

8

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

9

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

10

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: “... Systems -- Potential Difficulties in Managing Safety-critical Computing Projects: a Sociological View...”

Narrow Search