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

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 53; no. 12; pp. 56 - 67
Autor principal:	ZHONG SHAO
Formato:	Artículo
Publicado:	Association for Computing Machinery Dec2010
Materias:	Computer software Electronic systems Computer systems Programming languages Electronic data processing Software verification
Acceso en línea:	Ver este registro en EBSCOhost