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žené v:
Podrobná bibliografia
Hlavní autori: National Research Council (U.S.). Committee on Certifiably Dependable Software Systems, Jackson, Daniel, Thomas, Martyn, Millett, Lynette I.
Médium: E-kniha Kniha
Jazyk:English
Vydavateľské údaje: Washington, D.C National Academies Press 2007
Vydanie:1
Predmet:
Computer software
Computer software > Reliability
Reliability
Software engineering
Systems software
Systems software > Reliability
ISBN:9780309103947, 0309103940
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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