02486nam 2200637Ia 450 991080901680332120240417003839.00-309-17929-71-280-94144-897866109414450-309-66738-0(CKB)1000000000478357(OCoLC)567827789(CaPaEBR)ebrary10194168(SSID)ssj0000248138(PQKBManifestationID)11193263(PQKBTitleCode)TC0000248138(PQKBWorkID)10219463(PQKB)11119914(Au-PeEL)EBL3378266(CaPaEBR)ebr10194168(CaONFJC)MIL94144(OCoLC)923277140(MiAaPQ)EBC3378266(EXLCZ)99100000000047835720070706d2007 uy 0engurcn|||||||||txtccrSoftware for dependable systems sufficient evidence? /Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies1st ed.Washington, D.C. National Academies Pressc20071 online resource (147 p.) Bibliographic Level Mode of Issuance: Monograph0-309-10394-0 Includes bibliographical references (p. 110-116).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.Computer softwareReliabilitySoftware engineeringSystems softwareReliabilityComputer softwareReliability.Software engineering.Systems softwareReliability.005Jackson Daniel64013Millett Lynette I1595301Thomas Martyn1713701MiAaPQMiAaPQMiAaPQBOOK9910809016803321Software for dependable systems4106878UNINA