Summary of a Workshop on Software Certification and Dependability |
|
| Author:
| Committee on Certifiably Dependable Software Systems, |
| ISBN: | 978-1-282-08416-2 |
| Publication Date: | Jan 2004 |
| Publisher: | National Academies Press
|
| Book Format: | Ebook |
| List Price: | USD $21.00 |
Book Description:
|
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.
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.