Rushby, J., Littlewood, B. and Strigini, L. (2014). Evaluating the Assessment of Software Fault-Freeness. Paper presented at the AESSCS 2014, 13-05-2015, Newcastle upon Tyne.
Abstract
We propose to validate experimentally a theory of software certification that proceeds from assessment of confidence in fault-freeness (due to standards) to conservative prediction of failure-free operation.
| Publication Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Departments: | School of Mathematics, Computer Science & Engineering > Computer Science |
| URI: | http://openaccess.city.ac.uk/id/eprint/8294 |
![[img]](http://openaccess.city.ac.uk/style/images/fileicons/text.png)
|
Text
- Accepted Version
Download (124kB) | Preview |
Export
Downloads
Downloads per month over past year
Actions (login required)
 |
Admin Login |