{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":32,"n_cols":5,"rows_kept":32,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[9,2,9,3],[9,4,9,5],[10,2,10,3],[10,4,10,5],[11,2,11,3],[12,2,12,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[24,2,24,3],[25,2,25,3],[29,2,29,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA990000112880203316"]
[null,null,"Titolo",null,"1  Probability theory"]
[null,null,"Pubbl/distr/stampa",null,"1977"]
[null,null,"Descrizione fisica",null,"XVII, 425 p. : ill."]
[null,null,"Collana",null,"Graduate texts in mathematics ; 45"]
[null,null,"Collocazione",null,"510 GTM (45)"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNINA9910960542803321"]
[null,null,"Titolo",null,"Summary of a workshop on software certification and dependability / / Committee on Certifiably Dependable Software Systems"]
[null,null,"Pubbl/distr/stampa",null,"Washington, D.C., : The National Academies Press, c2004"]
[null,null,"ISBN",null,"9786612084164"]
[{"$nulls":4},"9780309165587"]
[{"$nulls":4},"030916558X"]
[{"$nulls":4},"9781282084162"]
[{"$nulls":4},"128208416X"]
[{"$nulls":4},"9780309546195"]
[{"$nulls":4},"0309546192"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (57 p.)"]
[null,null,"Disciplina",null,"005.7136"]
[null,null,"Soggetti",null,"Computer software - Certification"]
[{"$nulls":4},"Computer science"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]
[null,null,"Nota di contenuto",null,"\"\"Front Matter\"\"; \"\"Contents\"\"; \"\"1 OVERVIEW OF WORKSHOP DISCUSSIONS\"\"; \"\"2 SUMMARY OF PANEL SESSIONS AND PRESENTATIONS\"\"; \"\"3 SUMMARY OF CLOSING SESSION\"\"; \"\"APPENDIXES\"\"; \"\"A Workshop Agenda\"\"; \"\"B Panelist Biographies\"\"; \"\"C Committee Member and Staff Biographies\"\"; \"\"WHAT IS CSTB?\"\""]
[null,null,null,"Sommario/riassunto","Certification of critical software systems (e.g., for safety and security) is important to help ensure their dependability. Today, certification relies as much on evaluation of the software development process as it does on the system (TM)s properties. While the latter are preferable, the complexity of these systems usually makes them extremely difficult to evaluate. To explore these and related issues, the National Coordination Office for Information technology Research and Development asked the NRC to undertake a study to assess the current state of certification in dependable systems. The study is in two phases: the first to frame the problem and the second to assess it. This report presents a summary of a workshop held as part of the first phase. The report presents a summary of workshop participants (TM) presentations and subsequent discussion. It covers, among other "]
[{"$nulls":4},"things, the strengths and limitations of process; new challenges and opportunities; experience to date; organization context; and cost-effectiveness of software engineering techniques. A consensus report will be issued upon completion of the second phase."]