A Direct Path to Dependable Software.

The article discusses efforts to make computer software more dependable, examining requirements for computer software developers to produce direct evidence that their software is dependable. Advantages to this approach include greater credibility and reduced costs, the author suggests. Topics includ...

Full description

Bibliographic Details
Published in:Communications of the ACM Vol. 52; no. 4; pp. 78 - 89
Main Author: Jackson, Daniel
Format: Article
Published: Association for Computing Machinery Apr2009
Subjects:
Online Access:View this record in EBSCOhost
Description
Summary:The article discusses efforts to make computer software more dependable, examining requirements for computer software developers to produce direct evidence that their software is dependable. Advantages to this approach include greater credibility and reduced costs, the author suggests. Topics include the lack of databases in the software industry that record the causes or effects of software failure and industry data that would support software developers efforts to improve design and development strategies.