A direct path to dependable software

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

Full description

Bibliographic Details
Main Author: Jackson, Daniel
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Association for Computing Machinery 2010
Online Access:http://hdl.handle.net/1721.1/51683
https://orcid.org/0000-0003-4864-078X