Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering - Courtois, Pierre-Jacques.; SpringerLink (Online service) (London : Springer London : Imprint: Springer, 2008)
The Context -- Current Practices -- Axiomatic Justification and Uncertainty -- Justification and Dependability Case -- Prescriptions -- Requirements, Claims and Evidence -- Arguments, Syntax and Semantics -- Axiomatic Principles and Limits -- Descriptions -- Structures and Interpretations -- Embedded Computer System Structures -- Methodological Implications -- Pre-existing Systems and Components -- Construction Methods -- Postface.
Keywords: Quality control; Reliability; Industrial safety; Engineering; Computational intelligence; Computer organization; Quality Control, Reliability, Safety and Risk; Engineering, general; Computational Intelligence; Computer Systems Organization and Communication Networks