|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910809016803321 |
|
|
Titolo |
Software 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 Academies |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, D.C., : National Academies Press, c2007 |
|
|
|
|
|
|
|
ISBN |
|
0-309-17929-7 |
1-280-94144-8 |
9786610941445 |
0-309-66738-0 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (147 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
JacksonDaniel |
MillettLynette I |
ThomasMartyn |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer software - Reliability |
Software engineering |
Systems software - Reliability |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 110-116). |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
|