TY - BOOK AU - Millett,Lynette I. AU - Thomas,Martyn AU - Jackson,Daniel TI - Software for Dependable Systems: Sufficient Evidence? SN - 9780309667388 AV - QA76.76.R44 N35 2007 U1 - 005 PY - 2007/// CY - Washington, D.C. PB - National Academies Press KW - Computer software--Reliability KW - Software engineering KW - Systems software--Reliability KW - Electronic books N1 - FrontMatter -- Preface -- Acknowledgment of Reviewers -- Contents -- Summary -- 1 Assessment: Software Systems and Dependability Today -- 2 Proposed Approach -- 3 Broader Issues -- 4 Findings and Recommendations -- 5 Bibliography -- Appendixes -- A: Biographies of Committee Members and Staff -- B: Open Session Briefers -- C: Statement of Task UR - https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3378266 ER -