Summary of a Workshop on Software Certification and Dependability
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'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…
Mehr
CHF 41.90
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
Weitere Autoren: Division on Engineering and Physical Sciences / Computer Science and Telecommunications Board / Committee on Certifiably Dependable Software Systems
- ISBN: 978-0-309-09429-0
- EAN: 9780309094290
- Produktnummer: 4904292
- Verlag: National Academies Press
- Sprache: Englisch
- Erscheinungsjahr: 2004
- Seitenangabe: 57 S.
- Masse: H27.9 cm x B21.6 cm x D0.0 cm
- Sonstiges: Professional & Vocational
Über den Autor
Committee on Certifiably Dependable Software Systems, National Research Council
100 weitere Werke von National Research Council:
Bewertungen
Anmelden