找回密码
 注册
搜索
热搜: java php web
查看: 1864|回复: 6

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

[复制链接]
发表于 2009-1-27 01:16:57 | 显示全部楼层 |阅读模式
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

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有账号?注册

×
发表于 2009-1-27 02:54:49 | 显示全部楼层
xiexie  
回复

使用道具 举报

发表于 2009-1-27 03:13:46 | 显示全部楼层
回复

使用道具 举报

发表于 2009-1-27 03:41:54 | 显示全部楼层
好书,谢谢楼主分享!
回复

使用道具 举报

发表于 2009-8-16 20:52:52 | 显示全部楼层
好东西,俺想要 !
回复

使用道具 举报

发表于 2009-8-19 10:44:53 | 显示全部楼层
学习一下,准备下载
回复

使用道具 举报

发表于 2009-8-19 10:46:19 | 显示全部楼层
下到了,谢谢
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|软晨网(RuanChen.com)

GMT+8, 2024-11-23 00:34

Powered by Discuz! X3.5

Copyright © 2001-2023 Tencent Cloud.

快速回复 返回顶部 返回列表