Software for dependable systems : sufficient evidence?

The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of dependable software.Unfortunately, it is difficult to assess the dependability of software. The field...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autoři: National Research Council (U.S.). Committee on Certifiably Dependable Software Systems, Jackson, Daniel, Thomas, Martyn, Millett, Lynette I.
Médium: E-kniha Kniha
Jazyk:angličtina
Vydáno: Washington, D.C National Academies Press 2007
Vydání:1
Témata:
Computer software
Computer software > Reliability
Reliability
Software engineering
Systems software
Systems software > Reliability
ISBN:9780309103947, 0309103940
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Obsah:
  • 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