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

Full description

Saved in:
Bibliographic Details
Main Authors: National Research Council (U.S.). Committee on Certifiably Dependable Software Systems, Jackson, Daniel, Thomas, Martyn, Millett, Lynette I.
Format: eBook Book
Language:English
Published: Washington, D.C National Academies Press 2007
Edition:1
Subjects:
Computer software
Computer software > Reliability
Reliability
Software engineering
Systems software
Systems software > Reliability
ISBN:9780309103947, 0309103940
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • 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