Show simple item record

dc.contributor.authorJackson, Daniel
dc.date.accessioned2010-02-10T18:50:59Z
dc.date.available2010-02-10T18:50:59Z
dc.date.issued2009
dc.identifier.issn0001-0782
dc.identifier.urihttp://hdl.handle.net/1721.1/51683
dc.description.abstractWhat 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).en
dc.language.isoen_US
dc.publisherAssociation for Computing Machineryen
dc.relation.isversionofhttp://dx.doi.org/10.1145/1498765.1498787en
dc.rightsAttribution-Noncommercial-Share Alike 3.0 Unporteden
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/3.0/en
dc.sourceAmy Stout / webpageen
dc.titleA direct path to dependable softwareen
dc.typeArticleen
dc.identifier.citationJackson, Daniel. “A direct path to dependable software.” Commun. ACM 52.4 (2009): 78-88.en
dc.contributor.departmentMassachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratoryen_US
dc.contributor.departmentMassachusetts Institute of Technology. Department of Electrical Engineering and Computer Scienceen_US
dc.contributor.approverJackson, Daniel
dc.contributor.mitauthorJackson, Daniel
dc.relation.journalCommunications of the ACMen
dc.eprint.versionAuthor's final manuscript
dc.type.urihttp://purl.org/eprint/type/SubmittedJournalArticleen
eprint.statushttp://purl.org/eprint/status/PeerRevieweden
dspace.orderedauthorsJackson, Danielen
dc.identifier.orcidhttps://orcid.org/0000-0003-4864-078X
mit.licenseOPEN_ACCESS_POLICYen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record