搜索资源列表
Trusted-software-and-its-metrics
- 介绍了可信软件的定义、属性及其技术体系,并对软件可信性度量进行了一定的描述。-Introduced the definition of credible software, property and technology system, and software reliability measurement for a certain descr iption.
MetricsandModelsinSoftware
- 在范围广泛的行业全面的例子,它显示了如何衡量软件质量和使用度量改进软件开发过程。四个主要类别的质量标准和模型是解决:质量管理、软件的可靠性和投影,复杂性,和客户视图。此外,这本书讨论了测量的基本理论,具体的质量标准和工具,并应用方法指标对软件开发过程。 -Metrics and Models in Software Quality Engineering, Second Edition, is the definitive book on this essential topic of so
A-Tale-of-Four-Kernels-(FreeBSD--Linux--OpenSolar
- By Diomidis Spinellis,Athens University of Economics and Business, Greece, May 2008 The FreeBSD,GNU/Linux,Solaris,and Windows operating systems have kernels that provide comparable facilities. Interestingly, their code bases share almost no comm
