A direct path to dependable software
Name
cacm-final.pdf
Size
155.24 KB
Format
Adobe PDF
Checksum (MD5)
abffc38b809bf811ed10310a0028fa9e
Author(s)
Jackson, Daniel
Date Issued
2009
Journal
Communications of the ACM
Publisher
Association for Computing Machinery
Citation
Jackson, Daniel. “A direct path to dependable software.” Commun. ACM 52.4 (2009): 78-88.
Version
Author's final manuscript
Abstract
What would it take to make software more dependable? Until now, most approaches have been indirect: some practices – processes, tools or techniques – are used that are believed to yield dependable software, and the argument for dependability rests on the extent to which the developers have adhered to them. This article argues instead that developers should produce direct evidence that the software satisfies its dependability claims. The potential advantages of this approach are greater credibility (since the argument is not contingent on the effectiveness of the practices) and reduced cost (since development resources can be focused where they have the most impact).
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Attribution-Noncommercial-Share Alike 3.0 Unported
Persistent DSpace Link
DOI of Published Version
http://dx.doi.org/10.1145/1498765.1498787
