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...
| Published in: | Communications of the ACM Vol. 53; no. 12; pp. 56 - 67 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Association for Computing Machinery
Dec2010
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=55618670&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 55618670 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Dec2010 vid: 53 iid: 12 pid: 68 pub: Association for Computing Machinery artinfo: ui: 55618670 10.1145/1859204.1859226 ppf: 56 ppct: 11 formats: tig: atl: Certified Software. aug: au: ZHONG SHAO affil: Professor, Department of Computer Science, Yale University, New Haven, CT. su: Computer software Electronic systems Computer systems Programming languages Electronic data processing Software verification sug: subj: Computer software Electronic systems Computer systems Programming languages Electronic data processing Software verification ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2010 holdings: @attributes: islocal: N |
|---|