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...

Descripción completa

Detalles Bibliográficos
Publicado en:Communications of the ACM Vol. 52; no. 4; pp. 78 - 89
Autor principal: Jackson, Daniel
Formato: Artículo
Publicado: Association for Computing Machinery Apr2009
Materias:
Acceso en línea:Ver este registro en EBSCOhost
Descripción
Sumario: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.