Software for dependable systems [[electronic resource] ] : 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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Software for dependable systems [[electronic resource] ] : 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
|
| Pubblicazione: | Washington, D.C., : National Academies Press, c2007 |
| Edizione: | 1st ed. |
| Descrizione fisica: | 1 online resource (147 p.) |
| Disciplina: | 005 |
| Soggetto topico: | Computer software - Reliability |
| Software engineering | |
| Systems software - Reliability | |
| Altri autori: |
JacksonDaniel
MillettLynette I
ThomasMartyn
|
| 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. |
| Titolo autorizzato: | Software for dependable systems |
| ISBN: | 0-309-17929-7 |
| 1-280-94144-8 | |
| 9786610941445 | |
| 0-309-66738-0 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910809016803321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |