软件可靠性方法 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


软件可靠性方法

简体网页||繁体网页
(以色列)Doron A. Peled 作者
机械工业出版社
王林章 等 译者
2012-3 出版日期
196 页数
45.00元 价格
平装
计算机科学丛书 丛书系列
9787111365532 图书编码

软件可靠性方法 在线电子书 图书标签: 形式化方法  软件工程  可靠性  软件可靠性  计算机科学  计算机  软件  验证   


喜欢 软件可靠性方法 在线电子书 的读者还喜欢




点击这里下载
    

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-23


软件可靠性方法 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

软件可靠性方法 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

软件可靠性方法 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024



软件可靠性方法 在线电子书 用户评价

评分

介绍了提高软件可靠性的方法,model checking,theorem prove,software testing

评分

介绍了提高软件可靠性的方法,model checking,theorem prove,software testing

评分

介绍了提高软件可靠性的方法,model checking,theorem prove,software testing

评分

总要把不喜欢的事情尽快做完,才能去做喜欢的事情,正如科研之于我。把不喜欢、不擅长的事情做完,才有成就感。把喜欢的、擅长的事情做好,才有幸福感。P.S. 书的确是好书,不可否认,不能以主观的喜好来代替客观的评判。

评分

介绍了提高软件可靠性的方法,model checking,theorem prove,software testing

软件可靠性方法 在线电子书 著者简介

【作者简介】

Doron A. Peled 以色列巴依兰大学(BarIlan University)计算机科学系教授。主要研究领域为并发理论、形式化验证、形式化规约、编程语言语义、模型检验、有限自动机、软件测试、时序逻辑等。著有多部书籍和论文。

【译者简介】

王林章 南京大学计算机科学与技术系副教授、硕士生导师,南京大学计算机软件新技术国家重点实验室主任助理。主要研究方向为软件工程、新型软件测试方法、模型驱动软件测试与验证、自动化软件测试工具。目前面向本科生、研究生讲授软件工程、软件体系结构、软件测试等课程。


软件可靠性方法 在线电子书 图书目录


软件可靠性方法 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

软件可靠性方法 在线电子书 图书描述

【名人推荐】

我第一次翻开这本书时,立刻被这本书的覆盖范围之广所深深打动,它覆盖了规约和建模、演绎验证、模型检验、进程代数、程序测试、状态与消息序列图。除了对每个方法进行了相当深入的介绍以外,本书还讨论了应当在何时选取何种方法以及在选择这些方法时所必须做出的权衡。书中结合当前工具,使用很多具有挑战性的实例来说明各种技术。我还没看见过其他任何覆盖同样内容的书籍能达到如此的深度。

同时,本书描述了应用形式化方法的过程:从建模和规约开始,然后选择一个合适的验证技术,最后测试程序。这些知识在实践中是十分必要的,但是却很少在软件工程的课本里面出现。我确信这本书将会取得巨大的成功。我向所有对软件可靠性问题感兴趣的读者强烈推荐这本书。

—— Edmund M. Clarke教授

图灵奖获得者,卡内基-梅隆大学

【内容简介】

用于创建可靠软件的形式化方法一直处于不断的开发和改进之中。最近,人们对于形式化方法工具的重要组成有了更深入的理解,从软硬件开发业界逐渐接受可靠性工具这一点就可以体现出来。

本书介绍了各种能解决软件可靠性问题的方法。理想情况下,形式化方法应该用起来直观,学起来简洁、快速,对开发过程的影响微乎其微。本书对各种方法进行了比较,揭示了它们各自的优点和缺点,同时紧扣自动机理论和逻辑这两个主题。在尽可能减少背景知识介绍的前提下,本书向非专家读者描述了多种技术,并且针对软件工程领域的研究人员和专业人士介绍了一些高级技术。

本书主题和特点:

 集中介绍目前常用的重要软件可靠性方法,并将它们互作比较,这些方法包括:演绎验证、自动验证、测试和进程代数

 为具体项目的软件选择过程提供有用信息

 提供了大量的练习、项目和连续性的实例,方便读者学习形式化方法并能够亲手使用这些工具

 介绍了支持形式化方法的数学原理

 对于该领域未来的研究方向,以及开发新方法和改进现有技术提出了有益的见解

软件可靠性方法 在线电子书 下载 mobi epub pdf txt 在线电子书下载

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

软件可靠性方法 在线电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价

软件可靠性方法 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


分享链接





软件可靠性方法 在线电子书 相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有