当前位置: 首页 > 资源下载 > 软件工程 > 查看资源

资源分类
Web开发
Java
.NET
编程语言
数据库
软件工程
图形动画
系统管理
网络通信安全
计算机理论
考试认证
人文百科
文档手册
硬件技术
办公软件

Software for Dependable Systems: Sufficient Evidence? (PDF英文版)

Software for Dependable Systems: Sufficient Evidence? (PDF英文版)

书名:Software for Dependable Systems: Sufficient Evidence? (PDF英文版)

上传:鱼和流氓

时间:2009-01-27

文件大小:818.54 KB

资源出处:查看资源出处 >>

收藏到网摘: n/a



Software for Dependable Systems: Sufficient Evidence? (PDF英文版)


by Daniel Jackson, etc.
Paperback: 148 pages
Publisher: National Academies Press (August 17, 2007)

ISBN-10: 0309103940
ISBN-13: 978-0309103947

Critical systems are often subject to certification: a formal assurance that the system has met relevant technical standards designed to ensure it will not unduly endanger the public and can be depended upon to deliver its intended service safely and securely.

Today, certification of the dependability of a software-based system usually relies more on assessments of the process used to develop the system than on the properties of the system itself. While these assessments can be useful, few would dispute that direct observation of the artifact ought to provide a stronger kind of assurance than the credentials of its production method.

Yet the complexity of software systems, as well as the discontinuous way they behave, renders them extremely difficult to analyze unless great care has been taken with their structure and maintenance.

详细介绍在此:http://www.nap.edu/catalog.php?record_id=11923
Tags:DependableEvidencepdfSoftwareSufficient


相关书籍

  • Return on Software
  • Security and Software for Cybercafes (PDF英文版)
  • Security and Software for Cybercafes (PDF英文版)
  • Applied Software Measurement, 3rd Third Edition (PDF英文版)
  • Security and Software for Cybercafes (PDF英文版)

评论 (0) All

登陆 | 还没注册?