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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: National Research Council (U.S.). Committee on Certifiably Dependable Software Systems, Jackson, Daniel, Thomas, Martyn, Millett, Lynette I.
Format: E-Book Buch
Sprache:Englisch
Veröffentlicht: Washington, D.C National Academies Press 2007
Ausgabe:1
Schlagworte:
Computer software
Computer software > Reliability
Reliability
Software engineering
Systems software
Systems software > Reliability
ISBN:9780309103947, 0309103940
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Inhaltsangabe:
  • 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