Certified Software.
The article discusses difficulties that can exist with computer software. Problems discussed in the article include a lack of metrics to measure software dependability, the dependability of a computer system's software, and software verification problems. Research is being completed on steps that ca...
| Publicado en: | Communications of the ACM Vol. 53; no. 12; pp. 56 - 67 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Dec2010
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | The article discusses difficulties that can exist with computer software. Problems discussed in the article include a lack of metrics to measure software dependability, the dependability of a computer system's software, and software verification problems. Research is being completed on steps that can be taken to make certified software code more dependable. Changes that have been made to programming languages, formal semantics, and program verifications have helped power the advances that have occurred in certified software. |
|---|