Software for dependable systems : sufficient evidence? /

"The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of dependable software. Unfortunately, it is difficult to assess the dependability of software. Th...

Full description

Saved in:
Bibliographic Details
Corporate Author: National Research Council (U.S.). Committee on Certifiably Dependable Software Systems
Other Authors: Jackson, Daniel, Millett, Lynette I., Thomas, Martyn
Format: Electronic eBook
Language:English
Published: Washington, D.C. : National Academies Press, ©2007.
Subjects:
Online Access: Full text (MFA users only)
ISBN:9780309667388
0309667380
1280941448
9781280941443
9786610941445
6610941440
0309179297
9780309179294
Local Note:ProQuest Ebook Central
Table of Contents:
  • Assessment : software systems and dependability today
  • Proposed approach
  • Broader issues
  • Findings and recommendations.